From 45d71a6464f8f791cad5f699cc48dc131466449b Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 15 Jan 2018 08:11:38 +0100
Subject: bin/sanity-check: report about resuming sanity

---
 bin/sanity-check | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'bin/sanity-check')

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
-- 
cgit v1.2.3-70-g09d2