From db6a44be2669ec90c98851ca3a9953d0b98ce72a Mon Sep 17 00:00:00 2001 From: Benedikt Schesch Date: Sun, 5 May 2024 12:31:17 -0700 Subject: [PATCH] Crash script when one run fails --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index ece2e8d9a4..afa72fe7d2 100644 --- a/Makefile +++ b/Makefile @@ -135,7 +135,7 @@ check-merges-reproducibility: @echo "Running replay_merge for each idx in parallel..." @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; \ + python3 src/python/replay_merge.py --merges_csv $(CSV_RESULTS) -delete_workdir --idx $$idx; \ done protect-repos: