diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-20 14:18:21 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-20 14:18:21 +0200 |
| commit | 8c9bb17561b41cc6d400f762e2cc0fc5311f4d13 (patch) | |
| tree | c1fe5eed23ef825218cbb92f4e6755e2f10d5b37 | |
| parent | 1563f91689b1307047f6cc139e8b9201e4870162 (diff) | |
| download | builder-8c9bb17561b41cc6d400f762e2cc0fc5311f4d13.tar.xz | |
bin/sanity-check: ignore unimportant query leftovers (they may be still running)
| -rwxr-xr-x | bin/sanity-check | 1 |
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 " |