diff options
-rw-r--r-- | packaging/debian-docker/Dockerfile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/packaging/debian-docker/Dockerfile b/packaging/debian-docker/Dockerfile index ee79c83..2fe5400 100644 --- a/packaging/debian-docker/Dockerfile +++ b/packaging/debian-docker/Dockerfile @@ -30,6 +30,10 @@ COPY gnunet-gtk-build.sh /root/ RUN chmod +x /root/gnunet-gtk-build.sh RUN /root/gnunet-gtk-build.sh master +COPY libeufin-build.sh /root/ +RUN chmod +x /root/libeufin-build.sh +RUN /root/libeufin-build.sh master + COPY exchange-build.sh /root/ RUN chmod +x /root/exchange-build.sh RUN /root/exchange-build.sh master @@ -46,10 +50,6 @@ COPY anastasis-build.sh /root/ RUN chmod +x /root/anastasis-build.sh RUN /root/anastasis-build.sh master -COPY libeufin-build.sh /root/ -RUN chmod +x /root/libeufin-build.sh -RUN /root/libeufin-build.sh master - COPY wallet-build.sh /root/ RUN chmod +x /root/wallet-build.sh RUN /root/wallet-build.sh master |