index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-01-15 08:11:38 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-01-15 08:11:38 +0100 |
commit | 45d71a6464f8f791cad5f699cc48dc131466449b (patch) | |
tree | 80af4aa5dd256d1980fc797f3c8f9fa3e792dd73 /bin | |
parent | a3435b2b1389a1e129ea7f70efcd06de223fa876 (diff) |
-rwxr-xr-x | bin/sanity-check | 6 |
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 |