build/bin/write-dockerfile.sh: Move 'ADD pkgs' earlier

sagemath · Dec 22, 2021 · b1413d4 · b1413d4
1 parent 02234ce
commit b1413d4
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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