diff options
| author | Bruce Momjian | 2003-06-27 22:04:50 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2003-06-27 22:04:50 +0000 |
| commit | 0d95455e9afcda31e61cea88bdbbf06ff2d663c4 (patch) | |
| tree | d571149f26505aefdf13c1b2208a8d7325f2d689 | |
| parent | a75eb27d4eca53b393e74f00754a66ec73a6cd00 (diff) | |
Adjust pgtest grep.
| -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 6dbf48a154..7e8a9b4165 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 | |