diff options
-rwxr-xr-x | bin/sanity-check | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index 824b7a2..b3e02aa 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -400,6 +400,9 @@ while [ $# -gt 0 ]; do i_am_insane fi + # hopefully, this gets rid of false positives :-) + sleep 1 + if find "${work_dir}" -mindepth 1 -maxdepth 1 -name 'tmp.mysql-functions.query.*' | \ grep '\S' >> \ "${tmp_dir}/messages"; then |