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.
14 lines
325 B
Batchfile
14 lines
325 B
Batchfile
@echo off
|
|
|
|
type NUL && "%CODEQL_DIST%\codeql.exe" database index-files ^
|
|
--prune=**/*.testproj ^
|
|
--include-extension=.php ^
|
|
--include-extension=.phtml ^
|
|
--include-extension=.inc ^
|
|
--size-limit=5m ^
|
|
--language=php ^
|
|
--working-dir=. ^
|
|
"%CODEQL_EXTRACTOR_PHP_WIP_DATABASE%"
|
|
|
|
exit /b %ERRORLEVEL%
|