diff options
Diffstat (limited to 'tests/run-all')
-rwxr-xr-x | tests/run-all | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/tests/run-all b/tests/run-all index f72b9fa..3e40369 100755 --- a/tests/run-all +++ b/tests/run-all @@ -1,10 +1,18 @@ #!/bin/bash set -e # convenience script for running the tests outside adt-run -# usage: tests/using-intree tests/run-all +# usage: tests/using-intree tests/run-all [tests/tests/*] set -o pipefail +while [ $# != 0 ]; do + case "$1" in + --) shift; break ;; + -*) echo >&2 "run-all: unknown option $1"; exit 20 ;; + *) break ;; + esac +done + ncpus=$(nproc || echo 1) jcpus=-j$(( ncpus * 134 / 100 )) |