From 25b892b709e207449412046870324806bf62ebb1 Mon Sep 17 00:00:00 2001 From: Benjamin Canou Date: Thu, 28 Jun 2018 21:08:27 +0200 Subject: [PATCH] Fix docker image build script --- scripts/ci/create_docker_image.build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/ci/create_docker_image.build.sh b/scripts/ci/create_docker_image.build.sh index 154211a6f..958c29f77 100755 --- a/scripts/ci/create_docker_image.build.sh +++ b/scripts/ci/create_docker_image.build.sh @@ -28,7 +28,7 @@ COPY Makefile tezos/ COPY src tezos/src/ COPY vendors tezos/vendors/ RUN sudo chown -R opam tezos && \ - opam exec -- make -C tezos all build-test + cd tezos && opam exec -- make all build-test EOF echo