diff options
| -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 |