From ebf6efcadc130ada9b449fad04b19e4a3455a99d Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Wed, 29 May 2019 17:58:13 +0200 Subject: make -j20 instead of xargs -P4 + make -j5 --- test/monniaux/build_benches.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'test/monniaux/build_benches.sh') diff --git a/test/monniaux/build_benches.sh b/test/monniaux/build_benches.sh index 02123665..5c431f74 100755 --- a/test/monniaux/build_benches.sh +++ b/test/monniaux/build_benches.sh @@ -3,7 +3,8 @@ source benches.sh rm -f commands.txt for bench in $benches; do - echo "(cd $bench && make -j5 $1)" >> commands.txt + #echo "(cd $bench && make -j5 $1)" >> commands.txt + (cd $bench && make -j20 $1) done -cat commands.txt | xargs -n1 -I{} -P4 bash -c '{}' +#cat commands.txt | xargs -n1 -I{} -P4 bash -c '{}' -- cgit