From e7a762e3bd1d3a32a56c3251e6780bf4fd18ab0f Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Fri, 5 Feb 2021 17:53:33 +0100
Subject: [PATCH] [scripts/local] Fix local base_builds
---
bob/devtools/scripts/local.py | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/bob/devtools/scripts/local.py b/bob/devtools/scripts/local.py
index 33fd45a4..62989890 100644
--- a/bob/devtools/scripts/local.py
+++ b/bob/devtools/scripts/local.py
@@ -190,6 +190,13 @@ Examples:
"(combine with the verbosity flags - e.g. ``-vvv``) to enable "
"printing to help you understand what will be done",
)
+@click.option(
+ "-p",
+ "--python",
+ default=("%d.%d" % sys.version_info[:2]),
+ show_default=True,
+ help="Version of python to build the environment for",
+)
@click.option(
"-g",
"--group",
--
GitLab