From 1cfa3fccb694a16209a592329ccad8b235f5a955 Mon Sep 17 00:00:00 2001 From: Henry Mercer Date: Mon, 23 Jan 2023 12:05:03 +0000 Subject: [PATCH] Log `sys.path` and extractor tools dir contents --- python-setup/extractor_version.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/python-setup/extractor_version.py b/python-setup/extractor_version.py index 63e1c4211..91c85f959 100755 --- a/python-setup/extractor_version.py +++ b/python-setup/extractor_version.py @@ -31,7 +31,10 @@ def suppress_stdout_stderr(): def get_extractor_version(codeql_base_dir: str, quiet: bool = True) -> int: extractor_dir = os.path.join(codeql_base_dir, 'python', 'tools') + print(f'extractor_dir = {extractor_dir}') + print(f'extractor_dir contents = {os.listdir(extractor_dir)}') sys.path = [extractor_dir] + sys.path + print(f'sys.path = {sys.path}') from python_tracer import getzipfilename