diff options
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 |