diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-03-26 00:01:22 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-03-26 00:04:53 +0200 |
| commit | d4fd4c3a7bde4bcb12f4973b1ab1548aeb8030fd (patch) | |
| tree | e029cfd64ec5e8075ac5ea33bf803db3ade12323 /gnu/packages/man.scm | |
| parent | 7240b4a989ef9be2fba518666c6213d2eabac394 (diff) | |
gnu: ant-bootstrap: Make build more reliable.
* gnu/packages/java.scm (ant-bootstrap)[arguments]: Remove bootstrap phase;
create HOME/.ant.properties; pass options to JamVM.
Diffstat (limited to 'gnu/packages/man.scm')
0 files changed, 0 insertions, 0 deletions