Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-06-19 08:18:50 +0200
committerErich Eckner <git@eckner.net>2018-06-19 08:20:08 +0200
commit7c9e48da1f3c88cff6602658ff74476445e1b2bd (patch)
tree6d6bbcc0f10f048678fa2817e47dc417159ad11e
parent5591501f54f751cac9944e6fc5003d665d071eed (diff)
bin/sanity-check: accellerate check for left-over mysql files
-rwxr-xr-xbin/sanity-check13
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