DragonOS-Community/DragonOS
4
1
Fork 0
mirror of https://github.com/DragonOS-Community/DragonOS.git synced 2025-06-15 00:36:47 +00:00
Code Issues Releases Wiki Activity

Merge pull request #10 from dustincosmos/master

Browse Source 
调整docker脚本
This commit is contained in:
login 2022-07-25 21:01:42 +08:00 committed by GitHub
commit 6cb97a55a8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/build_in_docker.sh
View File

@ -1,7 +1,7 @@
docker rm -f dragonos-build
p=`pwd`
cpu_count=$(cat /proc/cpuinfo |grep "processor"|wc -l)
docker run -v $p:/data --name dragonos-build -i dragonos-dev:v1.0 bash << EOF
docker run -v $p:/data --name dragonos-build -i dragonos/dragonos-dev:v1.0 bash << EOF
cd /data
bash run.sh --current_in_docker
EOF