codeql/csharp/tools/pre-finalize.cmd at af36eae002df13ccbe241ec01270f624dfaa129e · github/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
@echo off

type NUL && "%CODEQL_DIST%\codeql" database index-files ^
    --include-extension=.config ^
    --include-extension=.csproj ^
    --include-extension=.props ^
    --include-extension=.xml ^
    --also-match-lgtm-index-filters ^
    --size-limit 10m ^
    --language xml ^
    --working-dir=. ^
    -- ^
    "%CODEQL_EXTRACTOR_CSHARP_WIP_DATABASE%" ^
    >nul 2>&1
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%