2020-01-29 12:53:22 +00:00
|
|
|
From 247eafd819d6092661ebc57c54815acd20abd3de Mon Sep 17 00:00:00 2001
|
2017-04-18 15:11:32 +00:00
|
|
|
From: Michael Simacek <msimacek@redhat.com>
|
|
|
|
Date: Wed, 1 Feb 2017 14:54:26 +0100
|
2019-07-01 07:58:04 +00:00
|
|
|
Subject: [PATCH 1/4] Adapt mvn script
|
2017-04-18 15:11:32 +00:00
|
|
|
|
|
|
|
---
|
2020-01-29 12:53:22 +00:00
|
|
|
apache-maven/src/bin/mvn | 9 +++++++--
|
|
|
|
1 file changed, 7 insertions(+), 2 deletions(-)
|
2017-04-18 15:11:32 +00:00
|
|
|
|
|
|
|
diff --git a/apache-maven/src/bin/mvn b/apache-maven/src/bin/mvn
|
2020-01-29 12:53:22 +00:00
|
|
|
index a554c6617..739501af4 100755
|
2017-04-18 15:11:32 +00:00
|
|
|
--- a/apache-maven/src/bin/mvn
|
|
|
|
+++ b/apache-maven/src/bin/mvn
|
|
|
|
@@ -22,7 +22,7 @@
|
|
|
|
#
|
|
|
|
# Environment Variable Prerequisites
|
|
|
|
#
|
|
|
|
-# JAVA_HOME Must point at your Java Development Kit installation.
|
|
|
|
+# JAVA_HOME (Optional) Must point at your Java Development Kit installation.
|
|
|
|
# MAVEN_OPTS (Optional) Java runtime options used when Maven is executed.
|
|
|
|
# MAVEN_SKIP_RC (Optional) Flag to disable loading of mavenrc files.
|
|
|
|
# -----------------------------------------------------------------------------
|
2020-01-29 12:53:22 +00:00
|
|
|
@@ -33,12 +33,16 @@ if [ -z "$MAVEN_SKIP_RC" ] ; then
|
2017-04-18 15:11:32 +00:00
|
|
|
. /etc/mavenrc
|
|
|
|
fi
|
|
|
|
|
2020-01-29 12:53:22 +00:00
|
|
|
+ . /etc/java/maven.conf
|
2017-04-18 15:11:32 +00:00
|
|
|
+
|
|
|
|
if [ -f "$HOME/.mavenrc" ] ; then
|
|
|
|
. "$HOME/.mavenrc"
|
|
|
|
fi
|
|
|
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
+export JAVA_HOME
|
|
|
|
+
|
|
|
|
# OS specific support. $var _must_ be set to either true or false.
|
|
|
|
cygwin=false;
|
|
|
|
mingw=false;
|
2020-01-29 12:53:22 +00:00
|
|
|
@@ -63,7 +67,8 @@ done
|
2017-04-18 15:11:32 +00:00
|
|
|
|
|
|
|
saveddir=`pwd`
|
|
|
|
|
|
|
|
-MAVEN_HOME=`dirname "$PRG"`/..
|
|
|
|
+MAVEN_HOME="${_FEDORA_MAVEN_HOME:-`dirname "$PRG"`/..}"
|
|
|
|
+unset _FEDORA_MAVEN_HOME
|
|
|
|
|
|
|
|
# make it fully qualified
|
|
|
|
MAVEN_HOME=`cd "$MAVEN_HOME" && pwd`
|
|
|
|
--
|
2019-05-30 09:52:50 +00:00
|
|
|
2.21.0
|
2017-04-18 15:11:32 +00:00
|
|
|
|