diff options
Diffstat (limited to 'scripts/auto-build/run-automated-builder')
| -rwxr-xr-x | scripts/auto-build/run-automated-builder | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/auto-build/run-automated-builder b/scripts/auto-build/run-automated-builder index 1c4b5f3b..d0bb3373 100755 --- a/scripts/auto-build/run-automated-builder +++ b/scripts/auto-build/run-automated-builder @@ -16,7 +16,7 @@ SCRIPT=$(echo $0| sed 's|.*/\(.*\)|\1|g') mailbody_on_failure () { ## this is a somewhat simplistic expression to detect error-lines - cat ${LOGFILE} | grep " error: " | tail -20 + cat ${LOGFILE} | grep -i "error: " | tail -20 # tail -20 ${LOGFILE} echo "" echo "the full logfile can be viewed at" |