We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 090758b commit cf5fc45Copy full SHA for cf5fc45
.travis-docker.sh
@@ -43,6 +43,7 @@ if [ $fork_user != $default_user -o $fork_branch != $default_branch ]; then
43
fi
44
45
echo ENV OPAMYES=1 >> Dockerfile
46
+[[ ${DISTRO} = "fedora"* ]] && echo RUN sudo yum install rsync -y >> Dockerfile
47
echo RUN opam update -u -y >> Dockerfile
48
echo RUN opam depext -ui travis-opam >> Dockerfile
49
echo RUN cp '~/.opam/$(opam switch show)/bin/ci-opam' "~/" >> Dockerfile
0 commit comments