diff --git a/install b/install index b75fc34feded2e1681dc4dea56b3526b026669e8..d66b992fc9050ae9f4624df544795d50262bb9ff 100755 --- a/install +++ b/install @@ -12,7 +12,7 @@ source script/update_openfpm ### switch to the branch b_switch=$(cat switch_branch) -if [ x"$b_switch" != x"" ] +if [ x"$b_switch" != x"" ]; then git checkout $b_switch fi