diff options
author | IOhannes m zmölnig <zmoelnig@users.sourceforge.net> | 2008-10-02 17:59:51 +0000 |
---|---|---|
committer | IOhannes m zmölnig <zmoelnig@users.sourceforge.net> | 2008-10-02 17:59:51 +0000 |
commit | ed9a6374c1b6b7a456855ad18ac70f4dadf46839 (patch) | |
tree | ac780ab185ef761259e3b8a54d611a3899d90a44 /scripts/auto-build/mail-mingw-log-hack.sh | |
parent | 5c29d9a8ff3db169a7b65ac6ccb619a984697533 (diff) |
make the error-grep case-insensitive (to allow "ERROR:")
svn path=/trunk/; revision=10321
Diffstat (limited to 'scripts/auto-build/mail-mingw-log-hack.sh')
-rwxr-xr-x | scripts/auto-build/mail-mingw-log-hack.sh | 2 |
1 files changed, 1 insertions, 1 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##*/}" |