diff --git a/src/python/replay_merge.py b/src/python/replay_merge.py index 801da968b7..6db69978c7 100755 --- 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")