mirror of
https://github.com/github/codeql.git
synced 2026-04-28 18:25:24 +02:00
Python: Move Python language pack tooling to external repo
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.
This commit is contained in:
11
python/tools/pre-finalize.cmd
Normal file
11
python/tools/pre-finalize.cmd
Normal file
@@ -0,0 +1,11 @@
|
||||
@echo off
|
||||
|
||||
type NUL && "%CODEQL_DIST%\codeql" database index-files ^
|
||||
--include-extension=.yaml ^
|
||||
--include-extension=.yml ^
|
||||
--size-limit=5m ^
|
||||
--language yaml ^
|
||||
-- ^
|
||||
"%CODEQL_EXTRACTOR_PYTHON_WIP_DATABASE%"
|
||||
|
||||
exit /b %ERRORLEVEL%
|
||||
Reference in New Issue
Block a user