Use --detached worktrees

This commit is contained in:
2025-08-05 14:14:16 -04:00
parent 4890aa192d
commit a7a85ee67a

View File

@@ -534,7 +534,7 @@ from_source() {
execute rm -rf "$BUILD_DIR" execute rm -rf "$BUILD_DIR"
fi fi
execute git -C "$SRC_DIR" worktree prune --verbose execute git -C "$SRC_DIR" worktree prune --verbose
execute git -C "$SRC_DIR" worktree add "$BUILD_DIR" "$ref" execute git -C "$SRC_DIR" worktree add --detach "$BUILD_DIR" "$ref"
# Print commit info # Print commit info
commit=$(git -C "$BUILD_DIR" rev-parse HEAD) commit=$(git -C "$BUILD_DIR" rev-parse HEAD)