diff options
| -rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index bd3da67..8f965c8 100755 --- a/configure.py +++ b/configure.py @@ -36,7 +36,7 @@ parser.add_option('--host', help='host platform (' + '/'.join(platforms) + ')', choices=platforms) parser.add_option('--debug', action='store_true', - help='enable debugging flags',) + help='enable debugging extras',) parser.add_option('--profile', metavar='TYPE', choices=profilers, help='enable profiling (' + '/'.join(profilers) + ')',) |