summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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.""")
break
for d in obsolete_dirs:
- print "Deleleting %s" % d
+ print "Deleting %s" % d
shutil.rmtree(d, True)
if len(obsolete_dirs):