diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-04 21:16:39 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-04 21:16:39 +0100 |
| commit | b2406eb70084fe46fcc76e57818b17c5700c9709 (patch) | |
| tree | ee010f2731ca551c20328725857085ac06719590 | |
| parent | 9ef68780beab5634b7b322bcb731ba5c9aec0350 (diff) | |
| download | builder-b2406eb70084fe46fcc76e57818b17c5700c9709.tar.xz | |
bin/build-master-status-from-mysql: mark build master as insane if check failed
| -rwxr-xr-x | bin/build-master-status-from-mysql | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bin/build-master-status-from-mysql b/bin/build-master-status-from-mysql index d1985e7..7cf1b95 100755 --- a/bin/build-master-status-from-mysql +++ b/bin/build-master-status-from-mysql @@ -245,3 +245,11 @@ find "${work_dir}/package-states" -mindepth 1 -maxdepth 1 \ $ a </body></html> ' | \ sponge "${webserver_directory}/mysql-sanity.html" + +if [ -s "${webserver_directory}/mysql-sanity.html" ] && \ + [ ! -s "${work_dir}/build-master-sanity" ]; then + printf 'deep42thought: my database is dirty again ...\n' | \ + sponge "${irc_dir}/#archlinux-ports/in" + echo 'build master is insane' > \ + "${work_dir}/build-master-sanity" +fi |