diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-04 16:39:51 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-04 16:39:51 +0200 |
| commit | e62038e7758b27abd3513d077db1fc2faee0dca8 (patch) | |
| tree | 3cdf1b377687eb121833a35820b7360f140d02a2 /bin | |
| parent | 35d94affd8c64b89cbe27f54dc662d50b6fc5ebb (diff) | |
| download | builder-e62038e7758b27abd3513d077db1fc2faee0dca8.tar.xz | |
bin/sanity-check: run less jobs parallely
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/sanity-check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index 3c30cbb..965986b 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -450,7 +450,7 @@ while [ $# -gt 0 ]; do errors=$( find "${work_dir}" -mindepth 1 -maxdepth 1 \ -name 'tmp.mysql-functions.query.*' | \ - parallel -j0 \ + parallel -j100 \ 'bash -c " sleep 5 test -s {} && '\ |