diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-15 08:11:38 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-15 08:11:38 +0100 |
| commit | 45d71a6464f8f791cad5f699cc48dc131466449b (patch) | |
| tree | 80af4aa5dd256d1980fc797f3c8f9fa3e792dd73 /bin | |
| parent | a3435b2b1389a1e129ea7f70efcd06de223fa876 (diff) | |
| download | builder-45d71a6464f8f791cad5f699cc48dc131466449b.tar.xz | |
bin/sanity-check: report about resuming sanity
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/sanity-check | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index 20651dd..6e78928 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -396,4 +396,8 @@ while [ $# -gt 0 ]; do done -rm -f "${work_dir}/build-master-sanity" +if [ -f "${work_dir}/build-master-sanity" ]; then + rm "${work_dir}/build-master-sanity" + printf '\001ACTION resumes sanity.\001\n' > \ + "${irc_dir}/#archlinux-ports/in" +fi |