commit d545ca0bc244ad792596a0e6baa1756a37bd80b9 parent 5289a392a8b1a118c9204dfb1efeda7419c90cae Author: Christian Grothoff <christian@grothoff.org> Date: Sun, 21 Jan 2024 14:57:47 +0100 make #8167 more easy to reproduce Diffstat:
| M | packaging/debian-docker/Dockerfile | | | 8 | +++++--- |
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/packaging/debian-docker/Dockerfile b/packaging/debian-docker/Dockerfile @@ -21,7 +21,11 @@ RUN apt-get update RUN apt-get -y upgrade RUN apt-get -y dist-upgrade -ADD "https://www.random.org/cgi-bin/randbyte?nbytes=10&format=h" skipcache +# ADD "https://www.random.org/cgi-bin/randbyte?nbytes=10&format=h" skipcache + +COPY libeufin-build.sh /root/ +RUN chmod +x /root/libeufin-build.sh +RUN /root/libeufin-build.sh master COPY gnunet-build.sh /root/ RUN chmod +x /root/gnunet-build.sh @@ -54,5 +58,3 @@ RUN /root/libeufin-build.sh master COPY wallet-build.sh /root/ RUN chmod +x /root/wallet-build.sh RUN /root/wallet-build.sh master - -