From dedd2b9087375d13ba6e4bbff4768831ee41f7a1 Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Fri, 26 Jul 2019 12:38:34 +0200
Subject: [PATCH] Fixed rm opam_installer

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

diff --git a/configure b/configure
index 98641633..2599fbbc 100755
--- a/configure
+++ b/configure
@@ -321,8 +321,8 @@ EOF
                   echo \${QP_ROOT}/bin \
                   | sh \${QP_ROOT}/external/opam_installer.sh 
 EOF
-                rm \${QP_ROOT}/external/opam_installer.sh
-                source \${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
+                rm ${QP_ROOT}/external/opam_installer.sh
+                source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
                 opam switch create ocaml-base-compiler.4.07.1     || exit 1
                 opam init --verbose --yes --compiler=4.07.1 --disable-sandboxing
                 eval $(opam env)