index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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) |
-rwxr-xr-x | bin/sanity-check | 3 |
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' \ |