diff options
Diffstat (limited to 'scripts/cleanup-workdir')
| -rwxr-xr-x | scripts/cleanup-workdir | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/scripts/cleanup-workdir b/scripts/cleanup-workdir index b2408fcfc6..8e6bc4388d 100755 --- a/scripts/cleanup-workdir +++ b/scripts/cleanup-workdir | |||
| @@ -174,7 +174,7 @@ will be deleted. Be CAUTIOUS.""") | |||
| 174 | break | 174 | break | 
| 175 | 175 | ||
| 176 | for d in obsolete_dirs: | 176 | for d in obsolete_dirs: | 
| 177 | print "Deleleting %s" % d | 177 | print "Deleting %s" % d | 
| 178 | shutil.rmtree(d, True) | 178 | shutil.rmtree(d, True) | 
| 179 | 179 | ||
| 180 | if len(obsolete_dirs): | 180 | if len(obsolete_dirs): | 
