...
authorEdouard Tisserant <edouard.tisserant@gmail.com>
Fri, 20 May 2022 14:54:14 +0200
changeset 61 13ad062ac22a
parent 60 207d2bb3ebd7
child 62 d545546e8735
...
build_in_docker.sh
--- a/build_in_docker.sh	Fri May 20 14:49:18 2022 +0200
+++ b/build_in_docker.sh	Fri May 20 14:54:14 2022 +0200
@@ -3,6 +3,6 @@
 CONTAINER=beremiz_public_builder_current
 
 docker start $CONTAINER 
-docker exec $CONTAINER bash -c build $1
+docker exec $CONTAINER bash -c build $*
 docker stop $CONTAINER