diff options
| author | Erich Eckner <git@eckner.net> | 2018-04-13 15:12:35 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-04-13 15:12:35 +0200 |
| commit | da7eb1fc8e1ba94c2ba645d8b9ec2823ca0114c7 (patch) | |
| tree | d89d8c3dfc3de3cbdbfcbbecca3afcb587580353 /bin/sanity-check | |
| parent | 5d71db45a01879d6911f45297724346f1cc8aa74 (diff) | |
| download | builder-da7eb1fc8e1ba94c2ba645d8b9ec2823ca0114c7.tar.xz | |
bin/sanity-check: test if left-over mysql query is still there after 5 seconds
Diffstat (limited to 'bin/sanity-check')
| -rwxr-xr-x | bin/sanity-check | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index c67f2ab..06da288 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -417,6 +417,8 @@ 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/^/>> /' '{}' \; ) |