diff --git a/Makefile b/Makefile index 7a37fd6b48..29afeb9505 100644 --- a/Makefile +++ b/Makefile @@ -134,7 +134,7 @@ clean-local: check-merges-reproducibility: @echo "Running replay_merge for each idx in parallel..." @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: find repos -mindepth 1 -type d -exec chmod a-w {} +