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-07-18 12:07:52 +0200
committerErich Eckner <git@eckner.net>2018-07-18 12:07:52 +0200
commite699a32f905c609163a4d7489b7b156c634fe511 (patch)
tree9a263e088148dd63178f6ed84de347a9fe8aeb5b
parent8fd41a4a2f07b4a5f4f08f4cc4a3ee77d51c13a2 (diff)
bin/sanity-check: do not fail if "find" returns non-zero when looking for mysql left-overs
-rwxr-xr-xbin/sanity-check3
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/sanity-check b/bin/sanity-check
index 965986b..0a3853f 100755
--- a/bin/sanity-check
+++ b/bin/sanity-check
@@ -457,7 +457,8 @@ while [ $# -gt 0 ]; do
'printf '"'"'%s:\n'"'"' {} && '\
'sed '"'"'s/^/>> /'"'"' {}
"'
- )
+ ) || \
+ true
if [ -n "${errors}" ]; then
if [ ${silence} -le 1 ]; then
printf '\nThere are pending mysql queries:\n%s\n' \