diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-05-15 00:15:25 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-05-17 15:16:44 +0200 |
| commit | af96575f9da74199d273d9a6d1899ca71353decf (patch) | |
| tree | 2dfbb931a39f2d57d21e1bb84f5af0c68d7173fa /scripts | |
| parent | 1adf49df292f415d0c1924cae6d398acd3e87472 (diff) | |
gnu: openjdk11: Build in parallel.
* gnu/packages/java.scm (openjdk11)[arguments]: Remove #:parallel-build?,
#:parallel-tests?, and #:make-flags options; add
"write-source-revision-file"; replace "build" phase; do not set
GUIX_LD_WRAPPER_ALLOW_IMPURITIES; pass JOBS variable to make in "build" and
"build-jre" phases.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions