diff options
| author | Erich Eckner <git@eckner.net> | 2017-10-27 15:38:40 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-10-27 15:38:40 +0200 |
| commit | 53e22c15a2077c8a479acde94cfe6b24bb8a7905 (patch) | |
| tree | 1979b35b552f603dc441e2fe3519c3e9cb6284a8 /bin | |
| parent | 1c26d16709872f97dfce4615a31e472fa0afb3fb (diff) | |
| download | builder-53e22c15a2077c8a479acde94cfe6b24bb8a7905.tar.xz | |
bin/sanity-check: exit with 0 if skipped
Diffstat (limited to 'bin')
| -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 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() { |