diff --git a/scripts/install.sh b/scripts/install.sh index de768bdaa15397e99a162472103faa96890ca31e..95153477d71c827d87d981df6fbeb92d84186af7 100644 --- a/scripts/install.sh +++ b/scripts/install.sh @@ -106,22 +106,18 @@ fi # dumux if [ ! -d "dumux" ]; then - #git clone -b releases/3.2 https://git.iws.uni-stuttgart.de/dumux-repositories/dumux.git - git clone https://git.iws.uni-stuttgart.de/dumux-repositories/dumux.git + git clone -b releases/3.2 https://git.iws.uni-stuttgart.de/dumux-repositories/dumux.git else echo "Skip cloning dumux because the folder already exists." - #git checkout releases/3.2 - git checkout master + git checkout releases/3.2 fi # dumux-course if [ ! -d "dumux-course" ]; then -# git clone -b releases/3.2 https://git.iws.uni-stuttgart.de/dumux-repositories/dumux-course.git - git clone https://git.iws.uni-stuttgart.de/dumux-repositories/dumux-course.git + git clone -b releases/3.2 https://git.iws.uni-stuttgart.de/dumux-repositories/dumux-course.git else echo "Skip cloning dumux-course because the folder already exists." - #git checkout releases/3.2 - git checkout master + git checkout releases/3.2 fi if [ $? -ne 0 ]; then