summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbin/sanity-check6
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