From ce013ca5118b4bfa4866cce6f78b846ed7944b56 Mon Sep 17 00:00:00 2001 From: Rosefintech Date: Fri, 27 Aug 2021 19:05:02 +0800 Subject: [PATCH] update --- Dockerfile | 1 + build.sh | 1 + 2 files changed, 2 insertions(+) diff --git a/Dockerfile b/Dockerfile index f46c237e5..4b2d0fe06 100644 --- a/Dockerfile +++ b/Dockerfile @@ -16,6 +16,7 @@ RUN apt-get update \ USER zokrates WORKDIR /home/zokrates + COPY --from=build --chown=zokrates:zokrates /build/src/target/release/zokrates $ZOKRATES_HOME/bin/ COPY --from=build --chown=zokrates:zokrates /build/src/zokrates_cli/examples $ZOKRATES_HOME/examples COPY --from=build --chown=zokrates:zokrates /build/src/zokrates_stdlib/stdlib $ZOKRATES_HOME/stdlib diff --git a/build.sh b/build.sh index 649946442..c42dbd523 100755 --- a/build.sh +++ b/build.sh @@ -1,5 +1,6 @@ #!/bin/bash + # Exit if any subcommand fails set -e