| commit | 213a050dd8b547b203eaa3104872ba50d0e8dbf6 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue Aug 27 22:09:37 2019 +0200 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue Aug 27 22:22:49 2019 +0200 |
| tree | dc5fa075d0a6885f20fc35fe5cdcb5a0887538c5 | |
| parent | 21034202011d9e6542244176d6e9a4cf5bbd463e [diff] |
Releng: make JAVA_HOME configurable from the toplevel jenkins script