Handle java.home pointing to the JDK the JDK's JRE.

2012-05-01 20:30:34 +00:00
parent c24abe2c7f
commit 8fec356846
1 changed files with 10 additions and 1 deletions
@@ -257,7 +257,7 @@
      </properties>
    </profile>
    <profile>
-      <id>non-mac</id>
+      <id>non-mac-jre</id>
      <activation>
        <file><exists>${java.home}/../lib/rt.jar</exists></file>
      </activation>
@@ -265,5 +265,14 @@
        <rt.jar.path>${java.home}/../lib/rt.jar</rt.jar.path>
      </properties>
    </profile>
+    <profile>
+      <id>non-mac-jdk</id>
+      <activation>
+        <file><exists>${java.home}/lib/rt.jar</exists></file>
+      </activation>
+      <properties>
+        <rt.jar.path>${java.home}/lib/rt.jar</rt.jar.path>
+      </properties>
+    </profile>
  </profiles>
 </project>