diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/pgtest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pgtest b/src/tools/pgtest index 6dbf48a1544..7e8a9b4165f 100755 --- 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 | |