mirror of
https://github.com/github/codeql.git
synced 2026-06-10 07:21:12 +02:00
10 lines
290 B
Batchfile
10 lines
290 B
Batchfile
@echo off
|
|
|
|
type NUL && "%CODEQL_EXTRACTOR_UNIFIED_ROOT%\tools\win64\extractor.exe" ^
|
|
extract ^
|
|
--file-list "%1" ^
|
|
--source-archive-dir "%CODEQL_EXTRACTOR_UNIFIED_SOURCE_ARCHIVE_DIR%" ^
|
|
--output-dir "%CODEQL_EXTRACTOR_UNIFIED_TRAP_DIR%"
|
|
|
|
exit /b %ERRORLEVEL%
|