diff --git a/build/bin/write-dockerfile.sh b/build/bin/write-dockerfile.sh index 29610be5491..1501d6f373c 100755 --- a/build/bin/write-dockerfile.sh +++ b/build/bin/write-dockerfile.sh @@ -191,14 +191,13 @@ ADD Makefile VERSION.txt COPYING.txt condarc.yml README.md bootstrap configure.a ADD src/doc/bootstrap src/doc/bootstrap ADD src/bin src/bin ADD m4 ./m4 +ADD pkgs pkgs ADD build ./build ARG BOOTSTRAP=./bootstrap $RUN sh -x -c "\${BOOTSTRAP}" $ENDRUN FROM bootstrapped as configured #:configuring: -# config.status needs to write in pkgs/sage-conf/ -ADD pkgs pkgs RUN mkdir -p logs/pkgs; ln -s logs/pkgs/config.log config.log ARG EXTRA_CONFIGURE_ARGS="" EOF