From d3d8f8731bf894dd83e9858f572d69446132d82b Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Wed, 27 Mar 2019 22:05:52 +0100
Subject: [PATCH] Fixing bwrap

---
 configure | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configure b/configure
index 1e6af5e7..168d0621 100755
--- a/configure
+++ b/configure
@@ -276,6 +276,7 @@ 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 --comp=4.07.0