bessonm
|
77ec372a3f
|
maven: Wrap mvnDebug for convenience
|
2020-05-15 16:56:58 +02:00 |
|
Timo Kaufmann
|
0141cfefbc
|
maven: make jdk overridable
This makes it possible to use maven with different (newer) jdks.
Fixes #75630
|
2020-02-21 14:26:33 +01:00 |
|
Nikolay Amiantov
|
52fb36e7e0
|
maven: move to dedicated directory to prevent clashes with other java applications
|
2015-08-03 23:26:45 +03:00 |
|
Daniel Peebles
|
72e76a18c1
|
Update maven to 3.2.3 and put it in a more sensible location
Closes #4187.
Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
|
2014-09-20 22:33:18 +01:00 |
|