2020-08-03 15:36:06 +03:00
|
|
|
@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 ^
|
2023-01-16 18:09:48 +03:00
|
|
|
--working-dir=. ^
|
2020-08-03 15:36:06 +03:00
|
|
|
-- ^
|
2021-08-05 16:24:01 +03:00
|
|
|
"%CODEQL_EXTRACTOR_CSHARP_WIP_DATABASE%" ^
|
|
|
|
|
>nul 2>&1
|
2020-08-04 11:25:09 +03:00
|
|
|
IF %ERRORLEVEL% NEQ 0 exit /b %ERRORLEVEL%
|
|
|
|
|
|
|
|
|
|
type NUL && "%CODEQL_JAVA_HOME%\bin\java.exe" -jar "%CODEQL_EXTRACTOR_CSHARP_ROOT%\tools\extractor-asp.jar" .
|
2020-09-10 12:09:38 +03:00
|
|
|
exit /b %ERRORLEVEL%
|
