diff --git a/scripts/docker/base-box/Dockerfile b/scripts/docker/base-box/Dockerfile index cf49afebd5..e772f0c8ff 100644 --- a/scripts/docker/base-box/Dockerfile +++ b/scripts/docker/base-box/Dockerfile @@ -27,4 +27,4 @@ WORKDIR /home/$user ENV OPAMYES=true OPAMVERBOSE=0 OPAMJOBS=4 RUN \ - opam init --disable-sandboxing --switch=ocaml-base-compiler.5.1.0 + opam init --disable-sandboxing --compiler=ocaml-base-compiler.5.1.0