mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
10 lines
281 B
Batchfile
10 lines
281 B
Batchfile
@echo off
|
|
|
|
type NUL && "%CODEQL_EXTRACTOR_RUBY_ROOT%\tools\win64\extractor.exe" ^
|
|
extract ^
|
|
--file-list "%1" ^
|
|
--source-archive-dir "%CODEQL_EXTRACTOR_RUBY_SOURCE_ARCHIVE_DIR%" ^
|
|
--output-dir "%CODEQL_EXTRACTOR_RUBY_TRAP_DIR%"
|
|
|
|
exit /b %ERRORLEVEL%
|