(The -g flag is always on, --debug just adds e.g. libstdc++'s extra
debugging features.)
Related to issue #286.
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) + ')',)