From 9b9f41cbc6033cc40d41b59025325fab339eb61c Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 19 Jun 2019 10:52:07 +0200
Subject: bin/sanity-check: ignore return value of "diff"

---
 bin/sanity-check | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin/sanity-check')

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' \
-- 
cgit v1.2.3-54-g00ecf