Spring/spring-data-dev-tools
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

#152 - Fix IoProperties.javaHome setter.

Browse Source 
We now correctly set the javaHome variable instead of the workDir if the io.javaHome property is set.
Include the property in the template file and add the maven.parallelize=true flag as well.

Closes: #152
This commit is contained in:
Christoph Strobl
2020-10-15 08:28:51 +02:00
parent 18fb35c4cf
commit fca3466a42
3 changed files with 99 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
release-tools/application-local.template
View File

@@ -5,8 +5,15 @@ git.email=
git.password=
github.api.url=https://api.github.com
# IO
# Optionally set the JavaHome path used for exeuting maven goals (eg. /Library/Java/JavaVirtualMachines/jdk1.8.0.jdk/Contents/Home/)
# If the property does not exist, is empty or points to an invalid directory the OS default JavaHome will be used.
#io.javaHome=
# Maven
maven.mavenHome=
maven.parallelize=true
# Deployment
deployment.repository-prefix=