From 00aa5b3cf50cf3061b07bc7f6bad066890ab3c39 Mon Sep 17 00:00:00 2001
From: Thomas Applencourt <t.applencourt@gmail.com>
Date: Wed, 25 Mar 2015 16:27:16 +0100
Subject: [PATCH] Remove opam_installer.sh after installing

---
 scripts/install_ocaml.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/scripts/install_ocaml.sh b/scripts/install_ocaml.sh
index 3c695df4..16d68fff 100755
--- a/scripts/install_ocaml.sh
+++ b/scripts/install_ocaml.sh
@@ -49,10 +49,14 @@ scripts/fetch_from_web.py "https://raw.github.com/ocaml/opam/master/shell/opam_i
 chmod +x opam_installer.sh
 echo N | ./opam_installer.sh ${QPACKAGE_ROOT}/bin 
 
-if [[ ! -f ${QPACKAGE_ROOT}/bin/opam ]]; then
+if [[ ! -f ${QPACKAGE_ROOT}/bin/opam ]]
+then
    echo "Installation of OPAM failed"
    exit 2
+else
+    rm "opam_installer.sh"
 fi
+
 ${QPACKAGE_ROOT}/bin/opam config setup -a --dot-profile ${QPACKAGE_ROOT}/quantum_package.rc 
 
 source ${QPACKAGE_ROOT}/quantum_package.rc