зеркало из https://github.com/github/codeql.git
20 строки
712 B
Batchfile
20 строки
712 B
Batchfile
@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%
|
|
)
|