Skip to content

Commit

Permalink
Clarify output, and only produce it if there is a problem (#369)
Browse files Browse the repository at this point in the history
  • Loading branch information
mernst authored Sep 22, 2024
1 parent 0a269f2 commit cedc855
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -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 {} +
Expand Down

0 comments on commit cedc855

Please sign in to comment.