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