This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
Patch: FYI: fix PR 24587
- From: Tom Tromey <tromey at redhat dot com>
- To: Java Patch List <java-patches at gcc dot gnu dot org>
- Date: 08 Nov 2005 15:52:31 -0700
- Subject: Patch: FYI: fix PR 24587
- Reply-to: tromey at redhat dot com
I'm checking this in on the trunk.
Classpath likes the 'gnu.classpath.version' property to be set. This
patch changes libgcj to set it. This is PR 24587.
Tom
Index: ChangeLog
from Tom Tromey <tromey@redhat.com>
PR libgcj/24587:
* gnu/classpath/SystemProperties.java: Set gnu.classpath.version.
Index: gnu/classpath/SystemProperties.java
===================================================================
--- gnu/classpath/SystemProperties.java (revision 106647)
+++ gnu/classpath/SystemProperties.java (working copy)
@@ -70,6 +70,9 @@
{
insertSystemProperties(defaultProperties);
+ defaultProperties.put("gnu.classpath.version",
+ Configuration.CLASSPATH_VERSION);
+
// Set base URL if not already set.
if (defaultProperties.get("gnu.classpath.home.url") == null)
defaultProperties.put("gnu.classpath.home.url",