diff options
Diffstat (limited to 'utils/check_sources.py')
| -rwxr-xr-x | utils/check_sources.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/check_sources.py b/utils/check_sources.py index 3895ee1d6..7e368127c 100755 --- a/utils/check_sources.py +++ b/utils/check_sources.py @@ -256,4 +256,4 @@ def main(argv): if __name__ == '__main__': - sys.exit(main(sys.argv)) + sys.exit(main(sys.argv[1:])) |