diff options
| author | Jack Lloyd <[email protected]> | 2017-12-17 08:14:18 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-12-17 08:14:18 -0500 |
| commit | 77d9913a97eef6efa5eb62e49269999d83a783fc (patch) | |
| tree | e765046c95234ae9c173a29e7c40614ea6c22e53 /src/scripts/cleanup.py | |
| parent | 54cfe3d223e1a364e7355e7929a3303d49e6b34d (diff) | |
Pylint
Diffstat (limited to 'src/scripts/cleanup.py')
| -rwxr-xr-x | src/scripts/cleanup.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/scripts/cleanup.py b/src/scripts/cleanup.py index 39a505852..8c72d3eb1 100755 --- a/src/scripts/cleanup.py +++ b/src/scripts/cleanup.py @@ -128,5 +128,7 @@ def main(args=None): for f in build_config['generated_files'].split(' '): remove_file(f) + return 0 + if __name__ == '__main__': sys.exit(main()) |