Shared: Handle trap compression option properly

Extracting the compression setting from an environment variable is the
responsibility of the API consumer.
This commit is contained in:
Harry Maclean
2023-04-27 05:03:22 +00:00
parent 9ea0b19ead
commit 8a89aec220
3 changed files with 9 additions and 2 deletions

View File

@@ -61,6 +61,7 @@ pub fn run(options: Options) -> std::io::Result<()> {
},
],
trap_dir: options.output_dir,
trap_compression: trap::Compression::from_env("CODEQL_QL_TRAP_COMPRESSION"),
source_archive_dir: options.source_archive_dir,
file_list: options.file_list,
};