robojerk/codeql-action

Explain get_extractor_version for python setup scripts

Browse source
This commit is contained in:
Rasmus Wriedt Larsen 2020-09-25 12:07:22 +02:00 • committed by GitHub
parent 5419fcd735
commit 18312707fe
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
python-setup/auto_install_packages.py
View file

@ -114,6 +114,7 @@ def install_packages(codeql_base_dir) -> Optional[str]:
print('Found Pipfile, will install packages with Pipenv', flush=True)
return install_packages_with_pipenv()
# get_extractor_version returns the Python version the extractor thinks this repo is using
version = extractor_version.get_extractor_version(codeql_base_dir, quiet=False)
if os.path.exists('requirements.txt'):