From 3a78733f68c8c02f8578fbfa8ca08bbed8ac7988 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Fri, 30 Aug 2019 12:08:59 +0200 Subject: Decreasing a bit the number of processes in run_benches --- test/monniaux/run_benches.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/monniaux/run_benches.sh') diff --git a/test/monniaux/run_benches.sh b/test/monniaux/run_benches.sh index a562a117..5f9f22cb 100755 --- a/test/monniaux/run_benches.sh +++ b/test/monniaux/run_benches.sh @@ -6,7 +6,7 @@ for bench in $benches; do echo "(cd $bench && make -j5 run)" >> commands.txt done -cat commands.txt | xargs -n1 -I{} -P5 bash -c '{}' +cat commands.txt | xargs -n1 -I{} -P4 bash -c '{}' ## # Gather all the CSV files -- cgit