diff options
| author | Sven Gothel <[email protected]> | 2023-02-01 18:07:50 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2023-02-01 18:07:50 +0100 |
| commit | 37abb5b4f65127f16c8f4e38c0d7b5fce7856f2b (patch) | |
| tree | cc155373d7622903de7b55e16105e2e1b66fe1f0 /jenkins-builds/promote-latest-builds.sh | |
| parent | 862fc8f7dd685c996d12ffc0f6a9b00ded46497a (diff) | |
jenkins-builds/promote-latest-builds.sh: Avoid having post build messages causing a false ERROR claim ;-)
Diffstat (limited to 'jenkins-builds/promote-latest-builds.sh')
| -rwxr-xr-x | jenkins-builds/promote-latest-builds.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/jenkins-builds/promote-latest-builds.sh b/jenkins-builds/promote-latest-builds.sh index 9d707e0..d701212 100755 --- a/jenkins-builds/promote-latest-builds.sh +++ b/jenkins-builds/promote-latest-builds.sh @@ -276,16 +276,16 @@ function promote-latest-builds() { local OK=1 grep WARNING $logfile && OK=0 if [ $OK -eq 0 ] ; then - echo WARNING occured - please check $logfile for WARNING + echo Warnings occured - please check $logfile for WARNING else - echo NO ERRORS detected + echo No warnings detected fi OK=1 grep ERROR $logfile && OK=0 if [ $OK -eq 0 ] ; then - echo ERRORS occured - please check $logfile for ERROR + echo Errors occured - please check $logfile for ERROR else - echo NO ERRORS detected + echo No errors detected fi mv $logfile $wsdir/log/ |