diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-30 00:28:16 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-30 00:28:16 +0200 |
commit | 01ebfe059727d6d91cee184f3856fa84133cd100 (patch) | |
tree | 1e06c41aa5a4ed72daafb8021030230b1edec136 | |
parent | 1aa0d92ddba4e017f1b8f9aebc1757a8ad77c0eb (diff) | |
parent | ebf6efcadc130ada9b449fad04b19e4a3455a99d (diff) | |
download | compcert-kvx-01ebfe059727d6d91cee184f3856fa84133cd100.tar.gz compcert-kvx-01ebfe059727d6d91cee184f3856fa84133cd100.zip |
Merge branch 'mppa-cos' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-cos
-rwxr-xr-x | test/monniaux/build_benches.sh | 5 |
1 files changed, 3 insertions, 2 deletions
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 '{}' |