From 5b8e38511770fc876da5f3dcd465664154915b5d Mon Sep 17 00:00:00 2001 From: Benedikt Schesch Date: Thu, 9 May 2024 09:48:13 -0700 Subject: [PATCH] Parallel merge reproducibility tests --- Makefile | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index afa72fe7d2..0856e1b52f 100644 --- a/Makefile +++ b/Makefile @@ -132,11 +132,9 @@ clean-local: rm -rf repos check-merges-reproducibility: - @echo "Running replay_merge for each idx in parallel..." + @echo "Running replay_merge for each idx in parallel using GNU 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; \ - done + tail -n +2 $(CSV_RESULTS) | awk -F, '{print $$1}' | parallel -j 100% --bar python3 src/python/replay_merge.py --merges_csv $(CSV_RESULTS) --delete_workdir --idx {} protect-repos: find repos -mindepth 1 -type d -exec chmod a-w {} +