Merge pull request #80728 from timokau/maven-jdk-overridable

maven: make jdk overridable
This commit is contained in:
Timo Kaufmann 2020-02-21 14:49:41 +00:00 committed by GitHub
commit ec6bf457bf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -5,7 +5,7 @@ unpackPhase
mkdir -p $out/maven
cp -r $name/* $out/maven
makeWrapper $out/maven/bin/mvn $out/bin/mvn --set JAVA_HOME "$jdk"
makeWrapper $out/maven/bin/mvn $out/bin/mvn --set-default JAVA_HOME "$jdk"
# Add the maven-axis and JIRA plugin by default when using maven 1.x
if [ -e $out/maven/bin/maven ]