summaryrefslogtreecommitdiffstats
path: root/scripts/cleanup-workdir
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/cleanup-workdir')
-rwxr-xr-xscripts/cleanup-workdir2
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):