summaryrefslogtreecommitdiff
path: root/java/jlint/files/patch-jlint.cc
diff options
context:
space:
mode:
Diffstat (limited to 'java/jlint/files/patch-jlint.cc')
-rw-r--r--java/jlint/files/patch-jlint.cc9
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;
+ }