From d72d287a1327ceb6b98ceb232f7706a6b51c3e27 Mon Sep 17 00:00:00 2001 From: DieracDelta Date: Tue, 17 Mar 2020 14:26:02 -0400 Subject: [PATCH] correct dockerfile typo We need to move the quotation mark inside. Otherwise the docker image builds but then cannot be executed. --- docker/xenial/testing/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/xenial/testing/Dockerfile b/docker/xenial/testing/Dockerfile index d78122d1e..576bc66cd 100644 --- a/docker/xenial/testing/Dockerfile +++ b/docker/xenial/testing/Dockerfile @@ -14,4 +14,4 @@ RUN sudo apt-get update && sudo apt-get install --yes python-pip \ && rm -rf /home/opam/opam-repository \ && sudo pip install bap -ENTRYPOINT ["opam", "config", "exec", "--]" +ENTRYPOINT ["opam", "config", "exec", "--" ]