diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-25 09:07:39 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-25 09:07:39 +0200 |
| commit | 0be03e8056755deaaf1492fa1df38907eade690e (patch) | |
| tree | ef9a485711a1b098c249c1494ffc3029cc8da728 /bin/sanity-check | |
| parent | ad863c02e7b0e7030a920a318fcb9a9963333eb3 (diff) | |
| download | builder-0be03e8056755deaaf1492fa1df38907eade690e.tar.xz | |
verbose_flock new: it calls flock and reports about blocking processes on error
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 7ae0303..d5b86db 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -75,7 +75,7 @@ do done exec 9> "${sanity_check_lock_file}" -if ! flock ${block_flag} 9; then +if ! verbose_flock ${block_flag} 9; then >&2 echo 'Sanity check skipped, cannot acquire lock.' exit fi |