diff options
| -rwxr-xr-x | src/tools/pgtest | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/tools/pgtest b/src/tools/pgtest index 7e8a9b4165f..bc28be23832 100755 --- a/src/tools/pgtest +++ b/src/tools/pgtest @@ -24,5 +24,4 @@ cat $TMP/0 | grep -i warning | grep -v setproctitle | grep -v find_rule | -grep -v yy_flex_realloc | -grep -v '\[javac\] [0-9]* warning' +grep -v yy_flex_realloc |