From d3aeee1aadc8deeaa4c6017c5ac72af1ab3db1bb Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Mon, 30 Apr 2018 17:07:30 +0100
Subject: [PATCH] _

---
 .travis-ci.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis-ci.sh b/.travis-ci.sh
index 1d81364ac82b..e4bfd8c73d22 100644
--- a/.travis-ci.sh
+++ b/.travis-ci.sh
@@ -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