# HG changeset patch # User Edouard Tisserant # Date 1653051254 -7200 # Node ID 13ad062ac22a85d15d6de72fc1ba96b2a0aaf82e # Parent 207d2bb3ebd78815b8ee3511c9ef52ec7cc77ac4 ... 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