From 6b81a4c30bf09e2abe26f5f1a6a4a63d037334a3 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Sat, 21 Sep 2024 19:17:54 -0700 Subject: [PATCH] Clarify output, and only produce it if there is a problem --- Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Makefile b/Makefile index b3ddc25880..cecedbd5e5 100644 --- a/Makefile +++ b/Makefile @@ -166,8 +166,7 @@ check-merges-reproducibility: echo "Running replay_merge for idx $$idx"; \ src/python/replay_merge.py --testing --merges_csv $(CSV_RESULTS) -skip_build -delete_workdir --idx $$idx || FAILED_IDXES="$$FAILED_IDXES $$idx"; \ done; \ - echo "$$FAILED_IDXES"; \ - test -z "$$FAILED_IDXES" + test -z "$$FAILED_IDXES" || { echo "Failed indexes = $$FAILED_IDXES"; false; } protect-repos: find repos -mindepth 1 -type d -exec chmod a-w {} +