From 72064da8c7cc847b622c76bcd58de0f1b813fa39 Mon Sep 17 00:00:00 2001 From: Benedikt Schesch Date: Sat, 4 May 2024 22:54:03 -0700 Subject: [PATCH] More verbose --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 2f9808426d..fbd06df679 100644 --- a/Makefile +++ b/Makefile @@ -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 {} +