codeql: make substitution include the aarch path

Before this commit the path to the JDK was set wrong on aarch64. This
was because the script just appends -aarch64 on aarch64. But this is
wrong. This patch forces the script to use the nix JDK.
This commit is contained in:
Max Ammann
2023-03-20 14:50:29 -04:00
parent 8d86d5b7e0
commit 27cbc35640
@@ -34,6 +34,7 @@ stdenv.mkDerivation rec {
ln -sf $out/codeql/tools/linux64/lib64trace.so $out/codeql/tools/linux64/libtrace.so
sed -i 's%\$CODEQL_DIST/tools/\$CODEQL_PLATFORM/java-aarch64%\${jdk17}%g' $out/codeql/codeql
sed -i 's%\$CODEQL_DIST/tools/\$CODEQL_PLATFORM/java%\${jdk17}%g' $out/codeql/codeql
ln -s $out/codeql/codeql $out/bin/