diff options
author | Johannes Berg <johannes.berg@intel.com> | 2017-10-12 10:44:49 +0200 |
---|---|---|
committer | Johannes Berg <johannes.berg@intel.com> | 2017-10-12 10:44:49 +0200 |
commit | 9ca839f7790e562b988ffcbb27f0cc5b58ad0b71 (patch) | |
tree | 135ceb5bbada63ffd006f6141f313ac3c4517002 | |
parent | 9e3a5ca03d4baac4c99ff8a60d134a61c6540e29 (diff) |
gentree: add --git-debug as alias to --gitdebug
I always find myself typing --git-debug, so let's just add that.
Signed-off-by: Johannes Berg <johannes.berg@intel.com>
-rwxr-xr-x | gentree.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -651,7 +651,7 @@ def _main(): help='Refresh patches as they are applied, the source dir will be modified!') parser.add_argument('--base-name', metavar='<name>', type=str, default='Linux', help='name of base tree, default just "Linux"') - parser.add_argument('--gitdebug', const=True, default=False, action="store_const", + parser.add_argument('--gitdebug', '--git-debug', const=True, default=False, action="store_const", help='Use git, in the output tree, to debug the various transformation steps ' + 'that the tree generation makes (apply patches, ...)') parser.add_argument('--verbose', const=True, default=False, action="store_const", |