Skip to content

Commit

Permalink
scripts: fixed updating repo to source ref
Browse files Browse the repository at this point in the history
Signed-off-by: Michal Jenikovsky <[email protected]>
  • Loading branch information
jendo42 committed Jul 1, 2024
1 parent c35ac85 commit 4fc8532
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions scripts/001-binutils.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down

0 comments on commit 4fc8532

Please sign in to comment.