From cedc855cb0e12b5a164f02378b5765b0ffc31174 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Sun, 22 Sep 2024 00:55:57 -0700 Subject: [PATCH] Clarify output, and only produce it if there is a problem (#369) --- 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 {} +