index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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 | |
parent | 5d71db45a01879d6911f45297724346f1cc8aa74 (diff) |
-rwxr-xr-x | bin/sanity-check | 2 |
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/^/>> /' '{}' \; ) |