From be6c9b533ead2710e12e69107a3edb705d2e6180 Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Wed, 24 Jul 2019 09:36:51 +0200
Subject: [PATCH] Fixing travis

---
 configure | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/configure b/configure
index 634b5888..228b4f3f 100755
--- a/configure
+++ b/configure
@@ -304,6 +304,7 @@ EOF
                 source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
 
                 execute << EOF
+                opam switch 4.07.1  || exit 1
                 ${QP_ROOT}/bin/opam init --verbose --yes --compiler=4.07.1 --disable-sandboxing
 
                 eval $(${QP_ROOT}/bin/opam env)
@@ -324,6 +325,7 @@ EOF
                 execute << EOF
                   rm \${QP_ROOT}/external/opam_installer.sh
                   source \${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
+                  opam switch 4.07.1  || exit 1
                   \${QP_ROOT}/bin/opam init --verbose --yes --compiler=4.07.1 --disable-sandboxing
 EOF
                 execute << EOF