diff options
Diffstat (limited to 'bin/reproducible_common.sh')
-rwxr-xr-x | bin/reproducible_common.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 7e89a028..b7400adb 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -360,3 +360,8 @@ print_out_duration() { echo "$(date) - total duration: ${HOUR}h ${MIN}m ${SEC}s." | tee -a ${RBUILDLOG} } +irc_message() { + local MESSAGE="$@" + kgb-client --conf /srv/jenkins/kgb/debian-reproducible.conf --relay-msg "$MESSAGE" || true # don't fail the whole job +} + |