mirror of
https://github.com/github/codeql.git
synced 2026-05-04 13:15:21 +02:00
Add HTML tracing capability
This commit is contained in:
@@ -2,6 +2,7 @@
|
||||
SETLOCAL EnableDelayedExpansion
|
||||
|
||||
type NUL && "%CODEQL_EXTRACTOR_GO_ROOT%/tools/%CODEQL_PLATFORM%/go-extractor.exe" -mod=vendor ./...
|
||||
type NUL && "%CODEQL_EXTRACTOR_GO_ROOT%/tools/pre-finalize.cmd"
|
||||
exit /b %ERRORLEVEL%
|
||||
|
||||
ENDLOCAL
|
||||
|
||||
@@ -8,3 +8,4 @@ if [ "$CODEQL_PLATFORM" != "linux64" ] && [ "$CODEQL_PLATFORM" != "osx64" ] ; th
|
||||
fi
|
||||
|
||||
"$CODEQL_EXTRACTOR_GO_ROOT/tools/$CODEQL_PLATFORM/go-extractor" -mod=vendor ./...
|
||||
"$CODEQL_EXTRACTOR_GO_ROOT/tools/pre-finalize.sh"
|
||||
|
||||
18
codeql-tools/pre-finalize.cmd
Normal file
18
codeql-tools/pre-finalize.cmd
Normal file
@@ -0,0 +1,18 @@
|
||||
@echo off
|
||||
SETLOCAL EnableDelayedExpansion
|
||||
|
||||
if NOT "%CODEQL_EXTRACTOR_GO_EXTRACT_HTML%"=="no" (
|
||||
type NUL && "%CODEQL_DIST%/codeql.exe" database index-files ^
|
||||
--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%
|
||||
)
|
||||
17
codeql-tools/pre-finalize.sh
Executable file
17
codeql-tools/pre-finalize.sh
Executable file
@@ -0,0 +1,17 @@
|
||||
#!/bin/sh
|
||||
|
||||
set -eu
|
||||
|
||||
if [ "${CODEQL_EXTRACTOR_GO_EXTRACT_HTML:-yes}" != "no" ]; then
|
||||
"$CODEQL_DIST/codeql" database index-files \
|
||||
--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."
|
||||
fi
|
||||
Reference in New Issue
Block a user