From 7c6307ee08c23f1ef662230603c38eccff3f318e Mon Sep 17 00:00:00 2001 From: Benedikt Schesch Date: Thu, 9 May 2024 14:43:48 -0700 Subject: [PATCH] Fail in case any scripts fail --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index ec1bd4e187..d8dc450dc7 100644 --- a/Makefile +++ b/Makefile @@ -135,7 +135,7 @@ clean-local: check-merges-reproducibility: @echo "Running replay_merge for each idx in parallel using GNU Parallel..." @set -e; \ - tail -n +2 $(CSV_RESULTS) | awk -F, '{print $$1}' | parallel -j 50% python3 src/python/replay_merge.py --merges_csv $(CSV_RESULTS) -delete_workdir --idx {} + tail -n +2 $(CSV_RESULTS) | awk -F, '{print $$1}' | parallel --halt now,fail=1 -j 50% python3 src/python/replay_merge.py --merges_csv $(CSV_RESULTS) -delete_workdir --idx {} protect-repos: find repos -mindepth 1 -type d -exec chmod a-w {} +