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>2017-10-27 15:38:40 +0200
committerErich Eckner <git@eckner.net>2017-10-27 15:38:40 +0200
commit53e22c15a2077c8a479acde94cfe6b24bb8a7905 (patch)
tree1979b35b552f603dc441e2fe3519c3e9cb6284a8
parent1c26d16709872f97dfce4615a31e472fa0afb3fb (diff)
bin/sanity-check: exit with 0 if skipped
-rwxr-xr-xbin/sanity-check2
1 files changed, 1 insertions, 1 deletions
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() {