Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-03-14 16:48:36 +0100
committerErich Eckner <git@eckner.net>2018-03-14 16:48:36 +0100
commitd39a7bdecd340164c04965be17b51f7ad6de0c5c (patch)
treea05cf2c53e26e68d50c851262244a6690f52df1f
parent8abcf920222da35737f5739b32b0bfd76e9bff4f (diff)
bin/sanity-check: wait 1sec before checking for left over tmp.mysql-functions.query files
-rwxr-xr-xbin/sanity-check3
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