diff --git a/.travis-docker.sh b/.travis-docker.sh index 3bbba69..1c4af17 100644 --- a/.travis-docker.sh +++ b/.travis-docker.sh @@ -44,9 +44,9 @@ fi echo RUN opam update -u -y >> Dockerfile echo RUN opam depext -ui travis-opam >> Dockerfile -echo RUN cp "~/.opam/${OCAML_VERSION}/bin/ci-opam" "~/" >> Dockerfile +echo RUN cp '~/.opam/$(opam switch show)/bin/ci-opam' "~/" >> Dockerfile echo RUN opam remove -a travis-opam >> Dockerfile -echo RUN mv "~/ci-opam" "~/.opam/${OCAML_VERSION}/bin/ci-opam" >> Dockerfile +echo RUN mv "~/ci-opam" '~/.opam/$(opam switch show)/bin/ci-opam' >> Dockerfile echo VOLUME /repo >> Dockerfile echo WORKDIR /repo >> Dockerfile docker build -t local-build .