hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: add windows tools

Browse Source
This commit is contained in:
Paolo Tranquilli
2024-09-17 11:22:32 +02:00
parent 6618906380
commit afb9ffa50e
4 changed files with 11 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
rust/tools/BUILD.bazel
View File

@@ -2,6 +2,7 @@ load("//misc/bazel:pkg.bzl", "codeql_pkg_files")
codeql_pkg_files( codeql_pkg_files(
name = "tools", name = "tools",
srcs = glob(["*.cmd"]),
exes = glob(["*.sh"]), exes = glob(["*.sh"]),
visibility = ["//rust:__pkg__"], visibility = ["//rust:__pkg__"],
) )

5
rust/tools/autobuild.cmd Normal file
View File

@@ -0,0 +1,5 @@
@echo off
type NUL && "%CODEQL_DIST%\codeql.exe" database index-files --working-dir=. --language=rust --include-extension=.rs "%CODEQL_EXTRACTOR_RUST_WIP_DATABASE%"
exit /b %ERRORLEVEL%

1
rust/tools/autobuild.sh
View File

@@ -2,5 +2,4 @@
exec "${CODEQL_DIST}/codeql" database index-files \ exec "${CODEQL_DIST}/codeql" database index-files \
--working-dir=. --language=rust --include-extension=.rs \ --working-dir=. --language=rust --include-extension=.rs \
${CODEQL_VERBOSITY:+"--verbosity=${CODEQL_VERBOSITY}"} \
"${CODEQL_EXTRACTOR_RUST_WIP_DATABASE}" "${CODEQL_EXTRACTOR_RUST_WIP_DATABASE}"

5
rust/tools/index-files.cmd Normal file
View File

@@ -0,0 +1,5 @@
@echo off
type NUL && "%CODEQL_EXTRACTOR_RUST_ROOT%\tools\%CODEQL_PLATFORM%\extractor" @"%1"
exit /b %ERRORLEVEL%