diff options
| author | Erich Eckner <git@eckner.net> | 2019-06-19 10:52:07 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-06-19 10:52:07 +0200 |
| commit | 9b9f41cbc6033cc40d41b59025325fab339eb61c (patch) | |
| tree | d6f790f521c193e6b68a3c39699d0ce1751d4cc6 /bin/sanity-check | |
| parent | 5200f60dfa0b73f7f37604b2f4c75cd2c181c89b (diff) | |
| download | builder-9b9f41cbc6033cc40d41b59025325fab339eb61c.tar.xz | |
bin/sanity-check: ignore return value of "diff"
Diffstat (limited to 'bin/sanity-check')
| -rwxr-xr-x | bin/sanity-check | 2 |
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' \ |