Adjust pgtest grep.

diff --git a/src/tools/pgtest b/src/tools/pgtest
index 6dbf48a1544cd36be724c0e6427b23a83421e97e..7e8a9b4165f11bc2d59dbcb7466721dac43c126f 100755 (executable)
--- a/src/tools/pgtest
+++ b/src/tools/pgtest
@@ -21,7 +21,7 @@ TMP="/tmp/$$"
 cat $TMP/0 |
 # The following grep's have to be adjusted for your setup because 
 # certain warnings are acceptable.
-grep warning | 
+grep -i warning | 
 grep -v setproctitle | 
 grep -v find_rule | 
 grep -v yy_flex_realloc |