From de8a8e7e9c5fa965a3248a62c7893949294baa57 Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Mon, 12 Jan 2015 19:24:05 +0100
Subject: [PATCH] Minor change

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

diff --git a/scripts/install_ocaml.sh b/scripts/install_ocaml.sh
index b0be78cd..902511c4 100755
--- a/scripts/install_ocaml.sh
+++ b/scripts/install_ocaml.sh
@@ -19,9 +19,9 @@ make -C ocaml Qptypes.ml &> /dev/null
 if [[ $? -ne 0 ]]
 then
 
-  if [[ -d ${HOME}/ocamlbrew ]]
+  if [[ -d ${OCAMLBREW_BASE} ]]
   then
-    echo "Remove directory ${HOME}/ocamlbrew? [Y/n]"
+    echo "Remove directory ${OCAMLBREW_BASE} ? [Y/n]"
     while read -r -n 1 -s answer; do
       if [[ $answer = [YyNn] ]]; then
          [[ $answer = [Yy] ]] && rm -rf -- ${HOME}/ocamlbrew
@@ -29,7 +29,7 @@ then
         break
       fi
     done
-    
+    echo $answer
   fi
   scripts/fetch_from_web.py "https://raw.github.com/hcarty/ocamlbrew/master/ocamlbrew-install" ocamlbrew-install.sh 
   cat < ocamlbrew-install.sh | env OCAMLBREW_FLAGS="-r" bash | tee ocamlbrew_install.log