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/symbol-check.py | |
| parent | f088a1bb392eaecd912ff9bca6967a8f4765c2b7 (diff) | |
Use sys.exit(...) instead of exit(...): exit(...) should not be used in programs
Diffstat (limited to 'contrib/devtools/symbol-check.py')
| -rwxr-xr-x | contrib/devtools/symbol-check.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/devtools/symbol-check.py b/contrib/devtools/symbol-check.py index 8f8685006e..98daa1bd76 100755 --- a/contrib/devtools/symbol-check.py +++ b/contrib/devtools/symbol-check.py @@ -159,6 +159,6 @@ if __name__ == '__main__': print('%s: NEEDED library %s is not allowed' % (filename, library_name.decode('utf-8'))) retval = 1 - exit(retval) + sys.exit(retval) |