summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormhilbrunner <m.hilbrunner@gmail.com>2017-10-07 14:57:04 +0200
committermhilbrunner <m.hilbrunner@gmail.com>2017-10-07 14:57:04 +0200
commitb772f5adc9bd9384994bdf60ac4d0285c47bc3e2 (patch)
tree576fc63b31da2e785eee0b32ece664faf3d1f52c
parentbd10a002402de6e3a69a17af604784ea7f5b3330 (diff)
doc_status.py: Error message for unknown CLI flag, switch shebang to python
-rw-r--r--doc/tools/doc_status.py28
1 files changed, 16 insertions, 12 deletions
diff --git a/doc/tools/doc_status.py b/doc/tools/doc_status.py
index 6b936899d8..e89b49eb4d 100644
--- a/doc/tools/doc_status.py
+++ b/doc/tools/doc_status.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python
import fnmatch
import os
@@ -297,17 +297,21 @@ input_class_list = []
merged_file = ""
for arg in sys.argv[1:]:
- if arg.startswith('--'):
- flags[long_flags[arg[2:]]] = not flags[long_flags[arg[2:]]]
- elif arg.startswith('-'):
- for f in arg[1:]:
- flags[f] = not flags[f]
- elif os.path.isdir(arg):
- for f in os.listdir(arg):
- if f.endswith('.xml'):
- input_file_list.append(os.path.join(arg, f));
- else:
- input_class_list.append(arg)
+ try:
+ if arg.startswith('--'):
+ flags[long_flags[arg[2:]]] = not flags[long_flags[arg[2:]]]
+ elif arg.startswith('-'):
+ for f in arg[1:]:
+ flags[f] = not flags[f]
+ elif os.path.isdir(arg):
+ for f in os.listdir(arg):
+ if f.endswith('.xml'):
+ input_file_list.append(os.path.join(arg, f));
+ else:
+ input_class_list.append(arg)
+ except KeyError:
+ print("Unknown command line flag: " + arg)
+ sys.exit(1)
if flags['i']:
for r in ['methods', 'constants', 'members', 'signals']: