diff options
Diffstat (limited to 'hosts/jenkins/etc')
| -rwxr-xr-x | hosts/jenkins/etc/rc.local | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/hosts/jenkins/etc/rc.local b/hosts/jenkins/etc/rc.local index 1c4ece10..c2838549 100755 --- a/hosts/jenkins/etc/rc.local +++ b/hosts/jenkins/etc/rc.local @@ -11,6 +11,9 @@ # # By default this script does nothing. -echo "$(date -u) - system was rebooted" | mail -s "$(hostname -f) rebooted" root - +MESSAGE="$(hostname -f) rebooted" +echo "$(date -u) - system was rebooted" | mail -s "$MESSAGE" root +for channel in debian-qa debian-reproducible ; do + kgb-client --conf /srv/jenkins/kgb/$channel.conf --relay-msg "$MESSAGE" +done exit 0 |