Skip to content

Commit db812df

Browse files
authored
Merge pull request #17492 from github/redsun82/rust-windows
Rust: add windows tools
2 parents c7e3682 + 26d2e35 commit db812df

File tree

4 files changed

+11
-1
lines changed

4 files changed

+11
-1
lines changed

rust/tools/BUILD.bazel

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ load("//misc/bazel:pkg.bzl", "codeql_pkg_files")
22

33
codeql_pkg_files(
44
name = "tools",
5+
srcs = glob(["*.cmd"]),
56
exes = glob(["*.sh"]),
67
visibility = ["//rust:__pkg__"],
78
)

rust/tools/autobuild.cmd

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
@echo off
2+
3+
type NUL && "%CODEQL_DIST%\codeql.exe" database index-files --working-dir=. --language=rust --include-extension=.rs "%CODEQL_EXTRACTOR_RUST_WIP_DATABASE%"
4+
5+
exit /b %ERRORLEVEL%

rust/tools/autobuild.sh

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,5 +2,4 @@
22

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

rust/tools/index-files.cmd

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
@echo off
2+
3+
type NUL && "%CODEQL_EXTRACTOR_RUST_ROOT%\tools\%CODEQL_PLATFORM%\extractor" @"%1"
4+
5+
exit /b %ERRORLEVEL%

0 commit comments

Comments
 (0)