diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/auto-build/mail-mingw-log-hack.sh | 2 | ||||
| -rwxr-xr-x | scripts/auto-build/run-automated-builder | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/auto-build/mail-mingw-log-hack.sh b/scripts/auto-build/mail-mingw-log-hack.sh index 0c1d5d1d..30b237bc 100755 --- a/scripts/auto-build/mail-mingw-log-hack.sh +++ b/scripts/auto-build/mail-mingw-log-hack.sh @@ -10,7 +10,7 @@ SCRIPT=$(echo $0| sed 's|.*/\(.*\)|\1|g') mailbody_on_failure () { ## this is a somewhat simplistic expression to detect error-lines - cat "$1" | grep " error: " | tail -20 + cat "$1" | grep -i "error: " | tail -20 echo "" echo "the full logfile can be viewed at" echo "http://autobuild.puredata.info/auto-build/${DATE}/logs/${LOGFILE##*/}" 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" |