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-09-20 14:18:21 +0200
committerErich Eckner <git@eckner.net>2018-09-20 14:18:21 +0200
commit8c9bb17561b41cc6d400f762e2cc0fc5311f4d13 (patch)
treec1fe5eed23ef825218cbb92f4e6755e2f10d5b37
parent1563f91689b1307047f6cc139e8b9201e4870162 (diff)
bin/sanity-check: ignore unimportant query leftovers (they may be still running)
-rwxr-xr-xbin/sanity-check1
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/sanity-check b/bin/sanity-check
index 57c77fd..b9b287c 100755
--- a/bin/sanity-check
+++ b/bin/sanity-check
@@ -477,6 +477,7 @@ while [ $# -gt 0 ]; do
errors=$(
find "${work_dir}" -mindepth 1 -maxdepth 1 \
+ -not -name 'tmp.mysql-functions.unimportant_query.*' \
-name 'tmp.mysql-functions.query.*' | \
parallel -j100 \
'bash -c "