mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
016aedab0a
This is essentially the contents of `language-packs/python/tools` with some minor modifications to account for the changed location. Of note: we explicitly exclude the `recorded-call-graph-metrics` director that was already present in `python/tools`. When we revisit this directory for some cleanup (e.g. to get rid of the `lgtm` references), we'll probably want to switch to an explicit list of sources to include.
9 lines
242 B
Batchfile
9 lines
242 B
Batchfile
@echo off
|
|
|
|
rem Legacy environment variables for the autobuild infrastructure.
|
|
set LGTM_SRC=%CD%
|
|
set LGTM_WORKSPACE=%CODEQL_EXTRACTOR_PYTHON_SCRATCH_DIR%
|
|
|
|
type NUL && python "%CODEQL_EXTRACTOR_PYTHON_ROOT%\tools\index.py"
|
|
exit /b %ERRORLEVEL%
|