Added src/scripts/merge_tools to the path

benedikt-schesch · May 5, 2024 · 14ea707 · 14ea707
1 parent 1e00bc4
commit 14ea707
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/python/replay_merge.py b/src/python/replay_merge.py
@@ -233,6 +233,9 @@ def merge_replay(
     )
     args = parser.parse_args()
 
+    # Add 'src/scripts/merge_tools' to the path
+    sys.path.append("src/scripts/merge_tools")
+
     logger.info(f"Replaying merge with index {args.idx}")
     if args.delete_workdir:
         logger.info("Deleting workdir after replaying the merge")