Skip to content
Snippets Groups Projects
Commit 20106382 authored by Pietro Incardona's avatar Pietro Incardona
Browse files

Fixing branch switch

parent 89885aaa
No related branches found
No related tags found
No related merge requests found
...@@ -12,7 +12,7 @@ source script/update_openfpm ...@@ -12,7 +12,7 @@ source script/update_openfpm
### switch to the branch ### switch to the branch
b_switch=$(cat switch_branch) b_switch=$(cat switch_branch)
if [ x"$b_switch" != x"" ] if [ x"$b_switch" != x"" ]; then
git checkout $b_switch git checkout $b_switch
fi fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment