--- 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