Skip to content

Commit

Permalink
_
Browse files Browse the repository at this point in the history
  • Loading branch information
Jeremie Dimino committed May 1, 2018
1 parent 71e65b4 commit d3aeee1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .travis-ci.sh
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,7 @@ case "$TARGET" in
opam remove jbuilder --yes
if opam pin list -s | grep dune; then
opam pin remove dune --no-action --yes
opam remove dune --yes
opam remove dune --yes || true
fi
fi
if [ ! -e ~/.opam/last-update ] || [ $(cat ~/.opam/last-update) != $DATE ] ; then
Expand Down

0 comments on commit d3aeee1

Please sign in to comment.