From 8a893ddf189a2414cad54a3cdc31c8db322b2b27 Mon Sep 17 00:00:00 2001 From: Rasmus Wriedt Larsen Date: Wed, 21 Sep 2022 15:34:44 +0200 Subject: [PATCH] python-setup: Flush even more --- python-setup/auto_install_packages.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/python-setup/auto_install_packages.py b/python-setup/auto_install_packages.py index edb9aa93a2..f58900b90f 100755 --- a/python-setup/auto_install_packages.py +++ b/python-setup/auto_install_packages.py @@ -154,6 +154,8 @@ def install_packages(codeql_base_dir) -> Optional[str]: # 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) + sys.stdout.flush() + sys.stderr.flush() if version == 2 and not sys.platform.startswith('win32'): # On Ubuntu 22.04 'python2' is not available by default. We want to give a slightly better