diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-09 10:47:07 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-09 10:47:07 +0100 |
| commit | 7501f3235df7f16df1f878466b1f501bdbd8956b (patch) | |
| tree | 3f0c1e811b548398e1b3b7c8d4b5055a71fe1f1a /bin | |
| parent | d56ffdc10f3fa0448ae7496d84b4a0705301c74a (diff) | |
| download | builder-7501f3235df7f16df1f878466b1f501bdbd8956b.tar.xz | |
bin/sanity-check: report to irc channel, too
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/sanity-check | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index d329869..ebd8fdf 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -18,6 +18,10 @@ usage() { } i_am_insane() { + if [ ! -s "${work_dir}/build-master-sanity" ]; then + printf '\001ACTION went insane.\001\n' > \ + "${irc_dir}/#archlinux-ports/in" + fi echo 'build master is insane' > \ "${work_dir}/build-master-sanity" echo 'SANITY CHECK FAILED' >> \ |