diff options
Diffstat (limited to 'coin_build_instructions.py')
| -rw-r--r-- | coin_build_instructions.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coin_build_instructions.py b/coin_build_instructions.py index 95d800b56..bb7bca011 100644 --- a/coin_build_instructions.py +++ b/coin_build_instructions.py @@ -112,7 +112,7 @@ def call_setup(python_ver, phase): if phase in ["BUILD"]: rmtree(_env, True) # Pinning the virtualenv before creating one - run_instruction(["pip", "install", "--user", "virtualenv==20.0.25"], "Failed to pin virtualenv") + run_instruction(["pip", "install", "--user", "virtualenv==20.7.2"], "Failed to pin virtualenv") # installing to user base might not be in PATH by default. env_path = os.path.join(site.USER_BASE, "bin") v_env = os.path.join(env_path, "virtualenv") |