Crash script when one run fails

benedikt-schesch · May 5, 2024 · 264e104 · 264e104
1 parent 757f3ab
commit 264e104
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -133,9 +133,11 @@ clean-local:
 
 check-merges-reproducibility:
 	@echo "Running replay_merge for each idx in parallel..."
-	@tail -n +2 $(CSV_RESULTS) | awk -F, '{print $$1}' | while read idx; do \
-		python3 src/python/replay_merge.py --merges_csv $(CSV_RESULTS) -delete_workdir --idx $$idx; \
+	@set -e; \
+	tail -n +2 $(CSV_RESULTS) | awk -F, '{print $$1}' | while read idx; do \
+		python3 src/python/replay_merge.py --merges_csv $$(CSV_RESULTS) --delete_workdir --idx $$idx; \
 	done
+
 protect-repos:
 	find repos -mindepth 1 -type d -exec chmod a-w {} +
 

diff --git a/src/python/replay_merge.py b/src/python/replay_merge.py
@@ -20,6 +20,7 @@
 from loguru import logger
 
 logger.add("replay_merge.log", mode="a")
+logger.add(sys.stdout, colorize=True)
 
 
 # pylint: disable=too-many-arguments, too-many-locals