Fetch target_version (#342)

faucetsdn · Sep 18, 2021 · 6e39bee · 6e39bee
1 parent 1d6963c
commit 6e39bee
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/bin/setup_remote b/bin/setup_remote
@@ -42,8 +42,11 @@ else
 fi
 
 echo Switching $TARGET to version $TARGET_VERSION
-(cd $TARGET
- git checkout --detach --no-guess $TARGET_VERSION -- || git checkout --detach --no-guess origin/$TARGET_VERSION --
+(
+    cd $TARGET
+    # Necessary if target isn't a named branch or tag, a noop otherwise.
+    git fetch origin $TARGET_VERSION
+    git checkout --detach --no-guess $TARGET_VERSION -- || git checkout --detach --no-guess origin/$TARGET_VERSION --
 )
 
 echo -n "Last $TARGET commit: "