]> git.pld-linux.org Git - packages/maven.git/blob - maven-MAVEN_HOME.patch
- $MAVEN_HOME fix
[packages/maven.git] / maven-MAVEN_HOME.patch
1 --- maven-1.0.2/bin/maven~      2004-12-07 13:13:46.000000000 +0200
2 +++ maven-1.0.2/bin/maven       2007-04-20 00:03:14.620618599 +0300
3 @@ -51,13 +51,13 @@
4  
5  if [ -z "$MAVEN_HOME" ] ; then
6    # try to find MAVEN
7 -  if [ -d /opt/maven ] ; then
8 +  if [ -d /usr/share/maven ] ; then 
9 +    MAVEN_HOME=/usr/share/maven
10 +  elif [ -d /opt/maven ] ; then
11      MAVEN_HOME=/opt/maven
12 -  fi
13 -
14 -  if [ -d "$HOME/maven" ] ; then
15 +  elif [ -d "$HOME/maven" ] ; then
16      MAVEN_HOME="$HOME/maven"
17 -  fi
18 +  else
19  
20    ## resolve links - $0 may be a link to maven's home
21    PRG=$0
22 @@ -83,6 +83,7 @@
23    MAVEN_HOME=`cd "$MAVEN_HOME" && pwd`
24  
25    cd "$saveddir"
26 +  fi
27  fi
28  
29  # For Cygwin, ensure paths are in UNIX format before anything is touched
30 @@ -97,6 +98,10 @@
31      CLASSPATH=`cygpath --path --unix "$CLASSPATH"`
32  fi
33  
34 +if [ -z "$JAVA_HOME" -a -x /usr/lib/java/bin/java ]; then
35 +  JAVA_HOME=/usr/lib/java
36 +fi
37 +
38  if [ -z "$JAVACMD" ] ; then
39    if [ -n "$JAVA_HOME"  ] ; then
40      if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
This page took 0.120975 seconds and 3 git commands to generate.