diff options
| author | Jack Lloyd <[email protected]> | 2017-12-04 07:17:47 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-12-04 07:17:47 -0500 |
| commit | 44a570bab8cb15f104687affa12e2bc85e8cdf9a (patch) | |
| tree | d5f905c7659aaf4ef2eee8c371bae4305ae75af4 /src/scripts | |
| parent | 20563db49fb823ef331822e6795849d01ce0df3b (diff) | |
Fix lint error [ci skip]
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/cleanup.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/cleanup.py b/src/scripts/cleanup.py index 71c59609e..f14f6d9c1 100755 --- a/src/scripts/cleanup.py +++ b/src/scripts/cleanup.py @@ -98,7 +98,7 @@ def main(args=None): try: shutil.rmtree(build_config['doc_output_dir']) - except OSError as e: + except OSError: pass #remove_file(build_config['doc_stamp_file']) |