mirror of
https://github.com/github/codeql.git
synced 2025-12-16 08:43:11 +01:00
27 lines
663 B
Batchfile
27 lines
663 B
Batchfile
@echo off
|
|
|
|
type NUL && "%CODEQL_DIST%\codeql.exe" database index-files ^
|
|
--prune=**/*.testproj ^
|
|
--include-extension=.ql ^
|
|
--include-extension=.qll ^
|
|
--include-extension=.dbscheme ^
|
|
--include-extension=.yml ^
|
|
--size-limit=5m ^
|
|
--language=ql ^
|
|
--working-dir=. ^
|
|
"%CODEQL_EXTRACTOR_QL_WIP_DATABASE%"
|
|
|
|
IF %ERRORLEVEL% NEQ 0 exit /b %ERRORLEVEL%
|
|
|
|
type NUL && "%CODEQL_DIST%\codeql.exe" database index-files ^
|
|
--prune=**/*.testproj ^
|
|
--include-extension=.yml ^
|
|
--include-extension=.qlref ^
|
|
--size-limit=5m ^
|
|
--language=yaml ^
|
|
--working-dir=. ^
|
|
"%CODEQL_EXTRACTOR_QL_WIP_DATABASE%"
|
|
|
|
exit /b %ERRORLEVEL%
|
|
|