diff options
| author | Florian Klink <flokli@flokli.de> | 2019-11-26 19:48:04 +0100 |
|---|---|---|
| committer | Wael Nasreddine <wael.nasreddine@gmail.com> | 2019-11-26 10:48:04 -0800 |
| commit | 201defc4bf4ef96459878bab4d07ccd6fc017e05 (patch) | |
| tree | 5c4dceeb4abf81204de5c3df3cb95dadae14198c /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | bf39cf85183461d0d20d7ddf8a2e88280aab4c6a (diff) | |
bazel: pass jdk11_headless to --server_javabase (#74279)
We only refer to openjdk by passing `--server_javabase="${runJdk}"` to
the `bazel` executable.
By passing jdk11_headless instead of jdk11, we cut bazels runtime
closure from 1.6 GiB to 1.1 GiB.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions