diff options
author | Erich Eckner <git@eckner.net> | 2018-06-19 08:18:50 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-06-19 08:20:08 +0200 |
commit | 7c9e48da1f3c88cff6602658ff74476445e1b2bd (patch) | |
tree | 6d6bbcc0f10f048678fa2817e47dc417159ad11e /bin/sanity-check | |
parent | 5591501f54f751cac9944e6fc5003d665d071eed (diff) | |
download | builder-7c9e48da1f3c88cff6602658ff74476445e1b2bd.tar.xz |
bin/sanity-check: accellerate check for left-over mysql files
Diffstat (limited to 'bin/sanity-check')
-rwxr-xr-x | bin/sanity-check | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index 0445183..3c30cbb 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -449,11 +449,14 @@ while [ $# -gt 0 ]; do errors=$( find "${work_dir}" -mindepth 1 -maxdepth 1 \ - -name 'tmp.mysql-functions.query.*' \ - -exec sleep 5 \; \ - -exec test -s {} \; \ - -printf '%f\n' \ - -execdir sed 's/^/>> /' '{}' \; + -name 'tmp.mysql-functions.query.*' | \ + parallel -j0 \ + 'bash -c " + sleep 5 + test -s {} && '\ + 'printf '"'"'%s:\n'"'"' {} && '\ + 'sed '"'"'s/^/>> /'"'"' {} + "' ) if [ -n "${errors}" ]; then if [ ${silence} -le 1 ]; then |