mirror of
https://github.com/github/codeql.git
synced 2026-05-18 21:27:08 +02:00
cea862bfb3
This is built with copilot, via a number of iterations and run various test. But it should by no means be considered production ready. I'm looking for feeback on how to take this forward.
10 lines
278 B
Batchfile
10 lines
278 B
Batchfile
@echo off
|
|
|
|
type NUL && "%CODEQL_EXTRACTOR_PHP_ROOT%\tools\win64\extractor.exe" ^
|
|
extract ^
|
|
--file-list "%1" ^
|
|
--source-archive-dir "%CODEQL_EXTRACTOR_PHP_SOURCE_ARCHIVE_DIR%" ^
|
|
--output-dir "%CODEQL_EXTRACTOR_PHP_TRAP_DIR%"
|
|
|
|
exit /b %ERRORLEVEL%
|