mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
16 lines
474 B
Batchfile
16 lines
474 B
Batchfile
@echo off
|
|
|
|
type NUL && "%CODEQL_DIST%\codeql" database index-files ^
|
|
--include-extension=.config ^
|
|
--include-extension=.csproj ^
|
|
--include-extension=.props ^
|
|
--include-extension=.xml ^
|
|
--size-limit 10m ^
|
|
--language xml ^
|
|
-- ^
|
|
"%CODEQL_EXTRACTOR_CSHARP_WIP_DATABASE%"
|
|
IF %ERRORLEVEL% NEQ 0 exit /b %ERRORLEVEL%
|
|
|
|
type NUL && "%CODEQL_JAVA_HOME%\bin\java.exe" -jar "%CODEQL_EXTRACTOR_CSHARP_ROOT%\tools\extractor-asp.jar" .
|
|
exit /b %ERRORLEVEL%
|