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