]> git.pld-linux.org Git - packages/maven.git/commitdiff
86875b055f52445d3595a008b3462dfb maven-MAVEN_HOME.patch
authormisto <misto@pld-linux.org>
Fri, 29 Aug 2003 21:04:02 +0000 (21:04 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    maven-MAVEN_HOME.patch -> 1.1

maven-MAVEN_HOME.patch [new file with mode: 0644]

diff --git a/maven-MAVEN_HOME.patch b/maven-MAVEN_HOME.patch
new file mode 100644 (file)
index 0000000..1f870c5
--- /dev/null
@@ -0,0 +1,25 @@
+diff -u -r maven-1.0-beta-10.org/bin/maven maven-1.0-beta-10/bin/maven
+--- maven-1.0-beta-10.org/bin/maven    Fri Aug 29 17:40:42 2003
++++ maven-1.0-beta-10/bin/maven        Fri Aug 29 17:44:17 2003
+@@ -21,7 +21,9 @@
+ if [ -z "$MAVEN_HOME" ] ; then
+   # try to find MAVEN
+-  if [ -d /opt/maven ] ; then
++  if [ -d /usr/share/maven ] ; then 
++    MAVEN_HOME=/usr/share/maven
++  elif [ -d /opt/maven ] ; then
+     MAVEN_HOME=/opt/maven
+   fi
+@@ -67,6 +69,10 @@
+     CLASSPATH=`cygpath --path --unix "$CLASSPATH"`
+ fi
++if [ -z "$JAVA_HOME" -a -x /usr/lib/java/bin/java ]; then
++  JAVA_HOME=/usr/lib/java
++fi
++
+ if [ -z "$JAVACMD" ] ; then
+   if [ -n "$JAVA_HOME"  ] ; then
+     if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
This page took 0.190573 seconds and 4 git commands to generate.