From 14ea707a70cc6532f4e1c85c9afdc7972cabcb0d Mon Sep 17 00:00:00 2001 From: Benedikt Schesch Date: Sun, 5 May 2024 13:34:46 -0700 Subject: [PATCH] Added src/scripts/merge_tools to the path --- src/python/replay_merge.py | 3 +++ 1 file changed, 3 insertions(+) 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")