Dockerfile
changeset 66 b90bcdaaba0e
parent 65 a5970360c00b
child 67 d06ee9c3f780
--- a/Dockerfile	Fri May 20 18:41:18 2022 +0200
+++ b/Dockerfile	Fri May 20 18:50:40 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