Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/sanity-check
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-01-15 08:11:38 +0100
committerErich Eckner <git@eckner.net>2018-01-15 08:11:38 +0100
commit45d71a6464f8f791cad5f699cc48dc131466449b (patch)
tree80af4aa5dd256d1980fc797f3c8f9fa3e792dd73 /bin/sanity-check
parenta3435b2b1389a1e129ea7f70efcd06de223fa876 (diff)
bin/sanity-check: report about resuming sanity
Diffstat (limited to 'bin/sanity-check')
-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