# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1653064878 -7200
# Node ID a5970360c00b89ec43c8496b344d13433cf31c7e
# Parent  96b3f641f32eabfd56426f2b9c06b29dc4053e28
...

diff -r 96b3f641f32e -r a5970360c00b Dockerfile
--- a/Dockerfile	Fri May 20 18:28:51 2022 +0200
+++ b/Dockerfile	Fri May 20 18:41:18 2022 +0200
@@ -22,7 +22,7 @@
 # easy to remember 'build' alias to invoke main makefile
 ARG OWNDIRBASENAME=beremiz_public_dist
 ENV OWNDIRBASENAME ${OWNDIRBASENAME}
-RUN /bin/echo -e '#!/bin/bash\necho XXXX \$*\nmake -f /home/'$UNAME'/src/'$OWNDIRBASENAME'/Makefile \$*' > /usr/local/bin/build
+RUN /bin/echo -e '#!/bin/bash\necho XXXX $$*\nmake -f /home/'$UNAME'/src/'$OWNDIRBASENAME'/Makefile $$*' > /usr/local/bin/build
 RUN chmod +x /usr/local/bin/build
 
 USER $UNAME
diff -r 96b3f641f32e -r a5970360c00b build_in_docker.sh
--- 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