diff options
author | Bruce Momjian | 2004-09-09 09:57:23 +0000 |
---|---|---|
committer | Bruce Momjian | 2004-09-09 09:57:23 +0000 |
commit | 32be9fbde80ff14e21205908ffdb09a8ee49490e (patch) | |
tree | 64b0e5052b60b5fb984feb2a8fd4c5e958ed6a90 | |
parent | e24e66b8bf58135c116dd0c7a8c387a1a206e61d (diff) |
We don't use java in our compiles anymore so remove the filter test from
pgtest.
-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 7e8a9b4165..bc28be2383 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 |