diff --git a/install b/install index 380898f59d80a87af6b4cfebee51c6ec4af3c513..ac486d65cf08680e491ccc28ccaeb870e637e108 100755 --- a/install +++ b/install @@ -10,9 +10,9 @@ source script/conf_PETSC source script/update_openfpm ### switch to the branch -b_switch=`git rev-parse --abbrev-ref HEAD` -b_switch= -#b_switch=$(cat switch_branch) +#b_switch=`git rev-parse --abbrev-ref HEAD` +#b_switch= +b_switch=$(cat switch_branch) if [ x"$b_switch" != x"" ]; then git checkout $b_switch rm switch_branch