codeql/go/codeql-tools/pre-finalize.cmd at codeql-cli/v2.19.1 · github/codeql · GitHub

19 lines (17 loc) · 712 Bytes

@echo off

SETLOCAL EnableDelayedExpansion

if NOT "%CODEQL_EXTRACTOR_GO_EXTRACT_HTML%"=="no" (

type NUL && "%CODEQL_DIST%/codeql.exe" database index-files ^

--working-dir=. ^

--include-extension=.htm ^

--include-extension=.html ^

--include-extension=.xhtm ^

--include-extension=.xhtml ^

--include-extension=.vue ^

--size-limit 10m ^

--language html ^

-- ^

"%CODEQL_EXTRACTOR_GO_WIP_DATABASE%" ^

|| echo "HTML extraction failed; continuing"

exit /b %ERRORLEVEL%

)

Expand file tree