diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-18 12:07:52 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-18 12:07:52 +0200 |
| commit | e699a32f905c609163a4d7489b7b156c634fe511 (patch) | |
| tree | 9a263e088148dd63178f6ed84de347a9fe8aeb5b | |
| parent | 8fd41a4a2f07b4a5f4f08f4cc4a3ee77d51c13a2 (diff) | |
| download | builder-e699a32f905c609163a4d7489b7b156c634fe511.tar.xz | |
bin/sanity-check: do not fail if "find" returns non-zero when looking for mysql left-overs
| -rwxr-xr-x | bin/sanity-check | 3 |
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' \ |