Merge pull request #19 from jendo42/devel

scripts: fixed updating repo to source ref
ps2dev · Jul 4, 2024 · 0cb56e8 · 0cb56e8
2 parents c35ac85 + 4fc8532
commit 0cb56e8
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/scripts/001-binutils.sh b/scripts/001-binutils.sh
@@ -25,9 +25,9 @@ fi
 if test ! -d "$REPO_FOLDER"; then
   git clone --depth 1 -b "$REPO_REF" "$REPO_URL" "$REPO_FOLDER"
 else
-  git -C "$REPO_FOLDER" fetch origin
-  git -C "$REPO_FOLDER" reset --hard "origin/$REPO_REF"
-  git -C "$REPO_FOLDER" checkout "$REPO_REF"
+  git -C "$REPO_FOLDER" remote set-url origin "$REPO_URL"
+  git -C "$REPO_FOLDER" fetch origin "$REPO_REF" --depth=1
+  git -C "$REPO_FOLDER" checkout -f "$REPO_REF"
 fi
 
 cd "$REPO_FOLDER"