diff options
Diffstat (limited to 'java/jlint/files/patch-jlint.cc')
-rw-r--r-- | java/jlint/files/patch-jlint.cc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/java/jlint/files/patch-jlint.cc b/java/jlint/files/patch-jlint.cc index 323678bfe0e6..9b773b3e44a1 100644 --- a/java/jlint/files/patch-jlint.cc +++ b/java/jlint/files/patch-jlint.cc @@ -29,3 +29,12 @@ monitor_stack::const_iterator it; for (it = this_class->usedLocks.begin(); +@@ -1041,7 +1041,7 @@ int main(int argc, char* argv[]) + if (verbose) { + fprintf(stderr, + "Jlint - program correctness verifier for Java, " +- "version %s ("__DATE__").\n", VERSION); ++ "version %s\n", VERSION); + } + continue; + } |