mirror of
https://github.com/LCPQ/quantum_package
synced 2024-08-25 14:01:46 +02:00
Minor change
This commit is contained in:
parent
a9fb9ddf31
commit
de8a8e7e9c
@ -19,9 +19,9 @@ make -C ocaml Qptypes.ml &> /dev/null
|
|||||||
if [[ $? -ne 0 ]]
|
if [[ $? -ne 0 ]]
|
||||||
then
|
then
|
||||||
|
|
||||||
if [[ -d ${HOME}/ocamlbrew ]]
|
if [[ -d ${OCAMLBREW_BASE} ]]
|
||||||
then
|
then
|
||||||
echo "Remove directory ${HOME}/ocamlbrew? [Y/n]"
|
echo "Remove directory ${OCAMLBREW_BASE} ? [Y/n]"
|
||||||
while read -r -n 1 -s answer; do
|
while read -r -n 1 -s answer; do
|
||||||
if [[ $answer = [YyNn] ]]; then
|
if [[ $answer = [YyNn] ]]; then
|
||||||
[[ $answer = [Yy] ]] && rm -rf -- ${HOME}/ocamlbrew
|
[[ $answer = [Yy] ]] && rm -rf -- ${HOME}/ocamlbrew
|
||||||
@ -29,7 +29,7 @@ then
|
|||||||
break
|
break
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
|
echo $answer
|
||||||
fi
|
fi
|
||||||
scripts/fetch_from_web.py "https://raw.github.com/hcarty/ocamlbrew/master/ocamlbrew-install" ocamlbrew-install.sh
|
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
|
cat < ocamlbrew-install.sh | env OCAMLBREW_FLAGS="-r" bash | tee ocamlbrew_install.log
|
||||||
|
Loading…
Reference in New Issue
Block a user