diff options
-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/^/>> /' '{}' \; ) |