--- a/build_in_docker.sh	Fri May 20 18:28:51 2022 +0200
+++ b/build_in_docker.sh	Fri May 20 18:41:18 2022 +0200
@@ -3,6 +3,7 @@
 CONTAINER=beremiz_public_builder_current
 
 docker start $CONTAINER 
+echo exec docker with $*
 docker exec $CONTAINER bash -c build $*
 docker stop $CONTAINER