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>2019-06-19 10:52:07 +0200
committerErich Eckner <git@eckner.net>2019-06-19 10:52:07 +0200
commit9b9f41cbc6033cc40d41b59025325fab339eb61c (patch)
treed6f790f521c193e6b68a3c39699d0ce1751d4cc6
parent5200f60dfa0b73f7f37604b2f4c75cd2c181c89b (diff)
bin/sanity-check: ignore return value of "diff"
-rwxr-xr-xbin/sanity-check2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/sanity-check b/bin/sanity-check
index a244836..f9f4676 100755
--- a/bin/sanity-check
+++ b/bin/sanity-check
@@ -603,7 +603,7 @@ while [ $# -gt 0 ]; do
errors=$(
diff "${tmp_dir}/ssh-keys.mysql" "${tmp_dir}/ssh-keys.authorized_keys"
- )
+ ) || true
if [ -n "${errors}" ]; then
if [ ${silence} -le 1 ]; then
printf '\nThe ssh keys in the database and the file system differ:\n%s\n' \