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: rename target_dir to cargo_target_dir, add to extraction options

Browse Source 
Also removed the now unused `extract_dependencies` one.
This commit is contained in:
Paolo Tranquilli
2024-11-08 09:53:50 +01:00
parent 4f6fda0100
commit 083394073a
3 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
rust/codeql-extractor.yml
View File

@@ -23,14 +23,15 @@ options:
title: Controls compression for the TRAP files written by the extractor.
description: >
This option is only intended for use in debugging the extractor. Accepted
values are 'gzip' (the default, to write gzip-compressed TRAP) and 'none'
(to write uncompressed TRAP).
values are 'gzip' (to write gzip-compressed TRAP) and 'none'
(currently the default, to write uncompressed TRAP).
type: string
pattern: "^(none|gzip)$"
extract_dependencies:
title: Whether to extract dependencies.
cargo_target_dir:
title: Directory to use for cargo output files.
description: >
Extract the source code of dependencies and the standard libraries in addition to
normal source code.
This value is an optional path to use as `CARGO_TARGET_DIR` for the internal
cargo commands the extractor uses. Pointing it to a persistent directory may
reduce execution time of consecutive extractor runs. By default, a new scratch
directory is used for each run.
type: string
pattern: "^(false|true)$"