From 68fc52c2192f9c0ca7229142dd5431ec1c03bb0d Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Wed, 10 Apr 2019 19:41:07 +0200
Subject: [PATCH] Fixing travis

---
 configure | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/configure b/configure
index 2861695f..02705017 100755
--- a/configure
+++ b/configure
@@ -276,7 +276,6 @@ EOF
                 rm ${QP_ROOT}/external/opam_installer.sh
                 source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
 
-                rm $OPAMROOT/config
                 ${QP_ROOT}/bin/opam init --disable-sandboxing --verbose --yes 
 
                 eval $(${QP_ROOT}/bin/opam env)
@@ -291,8 +290,7 @@ EOF
                   | sh \${QP_ROOT}/external/opam_installer.sh 
                   rm \${QP_ROOT}/external/opam_installer.sh
                   source \${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
-                  \${QP_ROOT}/bin/opam init --disable-sandboxing --verbose \
-                      --yes --comp=4.07.0
+                  \${QP_ROOT}/bin/opam init --disable-sandboxing --verbose --yes
                   eval \$(\${QP_ROOT}/bin/opam env)
                   opam install -y \${OCAML_PACKAGES}  || exit 1
 EOF