diff options
| author | Arnout Engelen <arnout@bzzt.net> | 2023-06-21 12:05:31 +0200 |
|---|---|---|
| committer | Arnout Engelen <arnout@bzzt.net> | 2023-06-21 12:48:41 +0200 |
| commit | f468c07e5f3656a5e545c84a3908f17533404d85 (patch) | |
| tree | 65f8fe0c6c5b4951fca21e16407f5d88e746c509 /pkgs/development/python-modules/rangehttpserver | |
| parent | 7c67f006ea0e7d0265f16d7df07cc076fdffd91f (diff) | |
codeql: fix passing in nix JDK
The old approach only set CODEQL_JAVA_HOME in codeql, but apparently
that didn't propagate to other tools such as the various
`autobuild.sh` scripts. Setting it in a wrapper did seem to work
for `codeql database create testdb --language javascript` but not
for `codeql database analyze ...`.
This approach based on the earlier PR by Bas fixed both commands
for me.
Co-Authored-By: Bas Alberts <bas@anti.computer>
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions