diff --git a/bootloader/build/docker_build.sh b/bootloader/build/docker_build.sh index ea119036987712ffc93fdb1bb1489434ecfeb85e..4340b999c7605fb4a848c2219b914605d61068e3 100755 --- a/bootloader/build/docker_build.sh +++ b/bootloader/build/docker_build.sh @@ -1,7 +1,3 @@ #!/bin/bash -docker create --name build_cont arm-clang-coast:latest /bin/bash -c "cd diot-monimod/bootloader/build; make clean; make -j9" -docker cp ../../../diot-monimod build_cont:/root/ -docker start -a build_cont -docker cp build_cont:/root/diot-monimod/bootloader/build/. . -docker rm build_cont +docker run --rm -it -v $(pwd)/../../:/root/diot-monimod armv6m-gcc-clang-coast bash -c 'cd /root/diot-monimod/bootloader/build && pwd && echo '"$@"' && make clean && make '"$@"