From 158e5bf20f027c7d2c25df810978978f39d89d43 Mon Sep 17 00:00:00 2001 From: Benedikt Schesch Date: Sun, 5 May 2024 13:44:18 -0700 Subject: [PATCH] Print path --- src/scripts/merge_tools/git_hires_merge.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/scripts/merge_tools/git_hires_merge.sh b/src/scripts/merge_tools/git_hires_merge.sh index bc2d1ba275..90ae509345 100755 --- a/src/scripts/merge_tools/git_hires_merge.sh +++ b/src/scripts/merge_tools/git_hires_merge.sh @@ -6,6 +6,9 @@ clone_dir=$1 branch1=$2 branch2=$3 +# Print the current PATH +echo "PATH: $PATH" + cd "$clone_dir" || exit 1 git checkout "$branch1" --force