diff options
Diffstat (limited to 'coin_build_instructions.py')
| -rw-r--r-- | coin_build_instructions.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/coin_build_instructions.py b/coin_build_instructions.py index cb9aca39f..3b37d49af 100644 --- a/coin_build_instructions.py +++ b/coin_build_instructions.py @@ -181,6 +181,9 @@ if __name__ == "__main__": for env_var in ['CC', 'CXX']: if os.environ.get(env_var): del os.environ[env_var] + python_ver= "3" + if CI_TARGET_OS in["Linux"]: + python_ver = "3.8" if CI_TEST_PHASE in ["ALL", "BUILD"]: call_setup("3","BUILD") |