mirror of
https://github.com/DragonOS-Community/DragonOS.git
synced 2025-06-08 18:26:48 +00:00
57b20d2326
* chore: update docker image version in script * chore: replace lots of spaces with newline in doc
10 lines
443 B
Bash
10 lines
443 B
Bash
docker rm -f dragonos-build || echo "No existed container"
|
|
cpu_count=$(cat /proc/cpuinfo |grep "processor"|wc -l)
|
|
docker run --rm --privileged=true --cap-add SYS_ADMIN --cap-add MKNOD -v $(pwd):/data -v /dev:/dev -v dragonos-build-cargo:/root/.cargo/registry --name dragonos-build -i dragonos/dragonos-dev:v1.8 bash << EOF
|
|
source ~/.cargo/env
|
|
source ~/.bashrc
|
|
cd /data
|
|
# Change rust src
|
|
bash tools/change_rust_src.sh
|
|
make all -j $cpu_count
|
|
EOF |