Merge pull request github#6431 from hvitved/csharp/silence-xml-extraction

C#: Silence XML extraction commands

Author: hvitved

csharp/tools/pre-finalize.cmd

@@ -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" .

csharp/tools/pre-finalize.sh

@@ -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" .