diff -r 207d2bb3ebd7 -r 13ad062ac22a 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