KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Forgot to specify the default for --extra-logging

Browse Source
This commit is contained in:
Kovid Goyal 2019-04-24 16:19:30 +05:30
parent 0987a536b1
commit 8b56f1ced6
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
setup.py
View File

@ -848,6 +848,7 @@ def option_parser(): # {{{
p.add_argument( p.add_argument(
'--extra-logging', '--extra-logging',
action='append', action='append',
default=[],
choices=('event-loop',), choices=('event-loop',),
help='Turn on extra logging for debugging in this build. Can be specified multiple times, to turn' help='Turn on extra logging for debugging in this build. Can be specified multiple times, to turn'
'on different types of logging.' 'on different types of logging.'