From 53e22c15a2077c8a479acde94cfe6b24bb8a7905 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Fri, 27 Oct 2017 15:38:40 +0200
Subject: bin/sanity-check: exit with 0 if skipped

---
 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 e51f64b..4bf9145 100755
--- a/bin/sanity-check
+++ b/bin/sanity-check
@@ -69,7 +69,7 @@ done
 exec 9> "${sanity_check_lock_file}"
 if ! flock -n 9; then
   >&2 echo 'Sanity check skipped, cannot acquire lock.'
-  exit 11
+  exit
 fi
 
 finish() {
-- 
cgit v1.2.3-54-g00ecf