Make sure the submodule is checked out

benedikt-schesch · May 10, 2024 · 6848931 · 6848931
1 parent 1a69e2b
commit 6848931
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/python/replay_merge.py b/src/python/replay_merge.py
@@ -292,6 +292,7 @@ def merge_replay(
         os.getcwd(), "src/scripts/merge_tools"
     )
     os.environ["GIT_CONFIG_GLOBAL"] = os.getcwd() + "/.gitconfig"
+    os.system("git submodule update --init")
 
     logger.info(f"Replaying merge with index {args.idx}")
     if args.delete_workdir: