Fix worktree option

This commit is contained in:
2023-01-24 10:23:09 -05:00
parent 586e5d298e
commit 7d093de1f9

View File

@@ -541,9 +541,9 @@ fromSource() {
if [[ ${P_ARR[release]} == "snapshot" ]]; then if [[ ${P_ARR[release]} == "snapshot" ]]; then
git -C "$GITSRCDIR" worktree -d add "$GITWORKTREEDIR" master git -C "$GITSRCDIR" worktree add -d "$GITWORKTREEDIR" master
else else
git -C "$GITSRCDIR" worktree -d add "$GITWORKTREEDIR" "v$RELEASE" git -C "$GITSRCDIR" worktree add -d "$GITWORKTREEDIR" "v$RELEASE"
fi fi
pushd "$GITWORKTREEDIR" &>/dev/null || return 1 pushd "$GITWORKTREEDIR" &>/dev/null || return 1