From 0562729d8b31120ebdbdef4bbcbbcdf7337b90d3 Mon Sep 17 00:00:00 2001
From: Virgil Dupras <hsoft@hardcoded.net>
Date: Sat, 7 Dec 2013 11:14:59 -0500
Subject: [PATCH] Improved build script's --clean.

---
 build.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/build.py b/build.py
index 3989cf97..2cab8856 100644
--- a/build.py
+++ b/build.py
@@ -327,8 +327,9 @@ def main():
     if dev:
         print("Building in Dev mode")
     if options.clean:
-        if op.exists('build'):
-            shutil.rmtree('build')
+        for path in ['build', op.join('cocoa', 'build'), op.join('cocoa', 'autogen')]:
+            if op.exists(path):
+                shutil.rmtree(path)
     if not op.exists('build'):
         os.mkdir('build')
     if options.doc: