From fae35a1f42722cbb1b5fb1328051712569fa3282 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Mon, 27 May 2019 22:05:05 +0200 Subject: [PATCH] sh does not recognize set -euET -o pipefail, only a subset of those options. Use bash for now. --- docker/Dockerfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index 5cedfcd58..d4db809d4 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -17,15 +17,15 @@ ADD . /ligo WORKDIR /ligo # Setup a custom opam repository where ligo is published -RUN sh scripts/setup_ligo_opam_repository.sh +RUN bash scripts/setup_ligo_opam_repository.sh # Install required native dependencies -RUN sh scripts/install_native_dependencies.sh +RUN bash scripts/install_native_dependencies.sh RUN opam update # Install ligo -RUN sh scripts/install_ligo_with_dependencies.sh +RUN bash scripts/install_ligo_with_dependencies.sh # Use the ligo binary as a default command ENTRYPOINT [ "/home/opam/.opam/4.06/bin/ligo" ]