Added src/scripts/merge_tools to the path

benedikt-schesch · May 5, 2024 · 2ec5436 · 2ec5436
1 parent 14ea707
commit 2ec5436
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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: