From 2ec5436031872634f061956f7687aba184330220 Mon Sep 17 00:00:00 2001 From: Benedikt Schesch Date: Sun, 5 May 2024 13:41:01 -0700 Subject: [PATCH] Added src/scripts/merge_tools to the path --- src/python/replay_merge.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/python/replay_merge.py b/src/python/replay_merge.py index 6db69978c7..8381d4a5c6 100755 --- a/src/python/replay_merge.py +++ b/src/python/replay_merge.py @@ -233,8 +233,9 @@ def merge_replay( ) args = parser.parse_args() - # Add 'src/scripts/merge_tools' to the path - sys.path.append("src/scripts/merge_tools") + os.environ["PATH"] += os.pathsep + os.path.join( + os.getcwd(), "src/scripts/merge_tools" + ) logger.info(f"Replaying merge with index {args.idx}") if args.delete_workdir: