diff --git a/.travis-docker.sh b/.travis-docker.sh index c0458bf..9f5d09b 100644 --- a/.travis-docker.sh +++ b/.travis-docker.sh @@ -55,10 +55,7 @@ if [ $fork_user != $default_user -o $fork_branch != $default_branch ]; then fi case $opam_version in - 2.0.0) - echo ENV OPAMYES=1 >> Dockerfile - [[ ${DISTRO} = "fedora"* ]] && - echo RUN sudo yum install rsync -y >> Dockerfile ;; + 2.0.0) echo RUN opam switch ${OCAML_VERSION} >> Dockerfile ;; *) ;; esac