diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-05-14 15:01:14 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-05-14 15:01:14 +0200 |
commit | ffff14418952048d9219be5ed6d6a2b9d84e0adc (patch) | |
tree | c1e5349b1dc82278f6aacfc4150b49d61f0d76b7 /bin | |
parent | 1e15c24cb682932eeccdda178709678ae9b8c8e1 (diff) | |
download | jenkins.debian.net-ffff14418952048d9219be5ed6d6a2b9d84e0adc.tar.xz |
reproducible: keep log of race conditions
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index abb4e162..c3177284 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -46,6 +46,7 @@ handle_race_condition() { ;; esac printf "$msg" | tee -a $BUILDLOG + printf "$(date) - $msg" >> /var/log/jenkins/reproducible-race-conditions.log echo "$(date) - Terminating this build quickly and nicely..." | tee -a $RBUILDLOG if [ $SAVE_ARTIFACTS -eq 1 ] ; then SAVE_ARTIFACTS=0 |