diff options
author | Emil Velikov <[email protected]> | 2017-04-13 18:42:37 +0100 |
---|---|---|
committer | Emil Velikov <[email protected]> | 2017-05-04 18:17:06 +0100 |
commit | d230ef842ced2e4e1db24067b3d0df6a1d21c36c (patch) | |
tree | 57f5d055a5a3c406f83c16095236a4e2f320df0c /src/mapi/mapi_abi.py | |
parent | 3698fe295af0372d11bc20e0fe7ce3489104f7ad (diff) |
mapi_abi.py: remove no longer used --mode option
Signed-off-by: Emil Velikov <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Diffstat (limited to 'src/mapi/mapi_abi.py')
-rw-r--r-- | src/mapi/mapi_abi.py | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/src/mapi/mapi_abi.py b/src/mapi/mapi_abi.py index d6c505caa81..82a2511ec39 100644 --- a/src/mapi/mapi_abi.py +++ b/src/mapi/mapi_abi.py @@ -771,17 +771,13 @@ typedef int GLclampx; def parse_args(): printers = ['glapi', 'es1api', 'es2api', 'shared-glapi'] - modes = ['lib', 'app'] parser = OptionParser(usage='usage: %prog [options] <filename>') parser.add_option('-p', '--printer', dest='printer', help='printer to use: %s' % (", ".join(printers))) - parser.add_option('-m', '--mode', dest='mode', - help='target user: %s' % (", ".join(modes))) options, args = parser.parse_args() - if not args or options.printer not in printers or \ - options.mode not in modes: + if not args or options.printer not in printers: parser.print_help() sys.exit(1) @@ -804,8 +800,7 @@ def main(): abi_sanity_check(entries) printer = printers[options.printer](entries) - if options.mode == 'lib': - printer.output_for_lib() + printer.output_for_lib() if __name__ == '__main__': main() |