diff options
| author | practicalswift <practicalswift@users.noreply.github.com> | 2017-07-09 22:57:02 +0200 |
|---|---|---|
| committer | practicalswift <practicalswift@users.noreply.github.com> | 2017-08-28 15:18:14 +0200 |
| commit | 25cd520fc429c464846b0f986104db45b3bfaebb (patch) | |
| tree | 3b8055f06c0b70d0cdd2431d2597f6173f3d643d /contrib/devtools/check-doc.py | |
| parent | f088a1bb392eaecd912ff9bca6967a8f4765c2b7 (diff) | |
Use sys.exit(...) instead of exit(...): exit(...) should not be used in programs
Diffstat (limited to 'contrib/devtools/check-doc.py')
| -rwxr-xr-x | contrib/devtools/check-doc.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/devtools/check-doc.py b/contrib/devtools/check-doc.py index 3b7a8f9a61..3279dc3612 100755 --- a/contrib/devtools/check-doc.py +++ b/contrib/devtools/check-doc.py @@ -12,6 +12,7 @@ Author: @MarcoFalke from subprocess import check_output import re +import sys FOLDER_GREP = 'src' FOLDER_TEST = 'src/test/' @@ -39,7 +40,7 @@ def main(): print "Args unknown : %s" % len(args_unknown) print args_unknown - exit(len(args_need_doc)) + sys.exit(len(args_need_doc)) if __name__ == "__main__": main() |