diff options
author | Erich Eckner <git@eckner.net> | 2018-03-08 09:14:30 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-03-08 09:14:30 +0100 |
commit | 5423c468f869116deb7de781373b8d35d61a136c (patch) | |
tree | ccb42cbbf4c0807a4079208cfcdd06eaf122f84d | |
parent | 4a8a8b2408ebf2543bc9fb00165b502a12cef7a2 (diff) | |
download | builder-5423c468f869116deb7de781373b8d35d61a136c.tar.xz |
bin/sanity-check: check for pending mysql queries
-rwxr-xr-x | bin/sanity-check | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index 9487726..824b7a2 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -400,6 +400,12 @@ while [ $# -gt 0 ]; do i_am_insane fi + if find "${work_dir}" -mindepth 1 -maxdepth 1 -name 'tmp.mysql-functions.query.*' | \ + grep '\S' >> \ + "${tmp_dir}/messages"; then + i_am_insane + fi + [ ${silence} -gt 0 ] || \ echo ' passed.' >> \ "${tmp_dir}/messages" |