diff --git a/scripts/install_build_environment.sh b/scripts/install_build_environment.sh index f2c45d757..fcf77f06a 100755 --- a/scripts/install_build_environment.sh +++ b/scripts/install_build_environment.sh @@ -6,13 +6,13 @@ then then echo "Opam 2.x seems to already exist, exiting..." exit 1 + else + read -p "This script will upgrade opam to the 2.x series, are you okay with that? (y/n)" choice1 + case "$choice1" in + y|Y ) : ;; + n|N ) exit ;; + esac fi -else - read -p "This script will upgrade opam to the 2.x series, are you okay with that? (y/n)" choice1 - case "$choice1" in - y|Y ) : ;; - n|N ) exit ;; - esac fi sudo apt-get install -y make \