mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
C#: Silence XML extraction commands
This commit is contained in:
@@ -8,7 +8,8 @@ type NUL && "%CODEQL_DIST%\codeql" database index-files ^
|
||||
--size-limit 10m ^
|
||||
--language xml ^
|
||||
-- ^
|
||||
"%CODEQL_EXTRACTOR_CSHARP_WIP_DATABASE%"
|
||||
"%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" .
|
||||
|
||||
@@ -10,6 +10,7 @@ set -eu
|
||||
--size-limit 10m \
|
||||
--language xml \
|
||||
-- \
|
||||
"$CODEQL_EXTRACTOR_CSHARP_WIP_DATABASE"
|
||||
"$CODEQL_EXTRACTOR_CSHARP_WIP_DATABASE" \
|
||||
> /dev/null 2>&1
|
||||
|
||||
"$CODEQL_JAVA_HOME/bin/java" -jar "$CODEQL_EXTRACTOR_CSHARP_ROOT/tools/extractor-asp.jar" .
|
||||
|
||||
Reference in New Issue
Block a user