Skip to content

Commit

Permalink
More verbose
Browse files Browse the repository at this point in the history
  • Loading branch information
benedikt-schesch committed May 5, 2024
1 parent 27fc76e commit 72064da
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 @@ -131,7 +131,7 @@ clean-local:

check-merges-reproducibility:
@echo "Running replay_merge for each idx in parallel..."
@tail -n +2 $(CSV_RESULTS) | awk -F, '{print $$1}' | parallel -u --halt now,fail=1 -j 0 'python3 src/python/replay_merge.py -delete_workdir --idx {}'
@tail -n +2 $(CSV_RESULTS) | awk -F, '{print $$1}' | parallel --progress --bar -u --halt now,fail=1 -j 0 'python3 src/python/replay_merge.py -delete_workdir --idx {}'

protect-repos:
find repos -mindepth 1 -type d -exec chmod a-w {} +
Expand Down

0 comments on commit 72064da

Please sign in to comment.