mirror of https://github.com/apache/maven.git
[MNG-7195] Rework JAVA_HOME handling
Adjust JAVA_HOME for mvnw and mvnwDebug
This commit is contained in:
parent
a21be1d231
commit
52c12dab44
|
@ -22,7 +22,7 @@
|
|||
#
|
||||
# Environment Variable Prerequisites
|
||||
#
|
||||
# JAVA_HOME Must point at your Java Development Kit installation.
|
||||
# JAVA_HOME (Optional) Points to a Java installation.
|
||||
# MAVEN_OPTS (Optional) Java runtime options used when Maven is executed.
|
||||
# MAVEN_SKIP_RC (Optional) Flag to disable loading of mavenrc files.
|
||||
# MAVEN_DEBUG_ADDRESS (Optional) Set the debug address. Default value is localhost:8000
|
||||
|
|
|
@ -20,7 +20,7 @@
|
|||
@REM
|
||||
@REM Environment Variable Prerequisites
|
||||
@REM
|
||||
@REM JAVA_HOME Must point at your Java Development Kit installation.
|
||||
@REM JAVA_HOME (Optional) Points to a Java installation.
|
||||
@REM MAVEN_BATCH_ECHO (Optional) Set to 'on' to enable the echoing of the batch commands.
|
||||
@REM MAVEN_BATCH_PAUSE (Optional) set to 'on' to wait for a key stroke before ending.
|
||||
@REM MAVEN_OPTS (Optional) Java runtime options used when Maven is executed.
|
||||
|
|
Loading…
Reference in New Issue