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