Improved build script's --clean.

2013-12-07 11:14:59 -05:00 · 2013-12-07 11:14:59 -05:00 · 0562729d8b
parent 4a36227a18
commit 0562729d8b
1 changed files with 3 additions and 2 deletions
--- 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: