diff options
| author | Jack Lloyd <[email protected]> | 2017-11-30 00:18:09 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-11-30 00:18:09 -0500 |
| commit | 347d9a86a3c97b59c7c5b8d761f10a8d3a984c0a (patch) | |
| tree | f0b6e818ddafcf050c2ca282ec811926b87d11c5 /src/scripts | |
| parent | 027ff147d6ac50ddf934da7386912c3d091efdfc (diff) | |
Lint fixes [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 de64edde8..6e4689003 100755 --- a/src/scripts/cleanup.py +++ b/src/scripts/cleanup.py @@ -22,7 +22,7 @@ def remove_dir(d): logging.debug('Removing directory "%s"', d) shutil.rmtree(d) else: - logging.debug('Directory %s was missing', f) + logging.debug('Directory %s was missing', d) except Exception as e: # pylint: disable=broad-except logging.error('Failed removing directory "%s": %s', d, e) |