From 8c9bb17561b41cc6d400f762e2cc0fc5311f4d13 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 20 Sep 2018 14:18:21 +0200
Subject: bin/sanity-check: ignore unimportant query leftovers (they may be
 still running)

---
 bin/sanity-check | 1 +
 1 file changed, 1 insertion(+)

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 "
-- 
cgit v1.2.3-54-g00ecf