Skip to content

Commit

Permalink
Crash script when one run fails
Browse files Browse the repository at this point in the history
  • Loading branch information
Benedikt Schesch committed May 5, 2024
1 parent 264e104 commit db6a44b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit db6a44b

Please sign in to comment.