Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
bob.devtools
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
5
Issues
5
List
Boards
Labels
Milestones
Merge Requests
1
Merge Requests
1
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Analytics
Analytics
CI / CD
Repository
Value Stream
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
bob
bob.devtools
Commits
e7a762e3
Commit
e7a762e3
authored
Feb 05, 2021
by
André Anjos
💬
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
[scripts/local] Fix local base_builds
parent
dbaf444e
Pipeline
#47731
passed with stages
in 10 minutes and 33 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
7 additions
and
0 deletions
+7
-0
bob/devtools/scripts/local.py
bob/devtools/scripts/local.py
+7
-0
No files found.
bob/devtools/scripts/local.py
View file @
e7a762e3
...
...
@@ -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"
,
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment