changeset 7778:6b540bb82312

Fixed clean should clean also generated source directories.
author Christian Humer <christian.humer@gmail.com>
date Tue, 12 Feb 2013 14:33:24 +0100
parents ca51efac4d57
children 18eea22675ad
files mxtool/mx.py
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/mxtool/mx.py	Mon Feb 11 16:20:52 2013 +0100
+++ b/mxtool/mx.py	Tue Feb 12 14:33:24 2013 +0100
@@ -1802,6 +1802,13 @@
                 run([gmake_cmd(), '-C', p.dir, 'clean'])
         else:
             if args.java:
+                genDir = p.source_gen_dir();
+                if genDir != '' and exists(genDir):
+                    log('Clearing {0}...'.format(genDir))
+                    for f in os.listdir(genDir):
+                        shutil.rmtree(join(genDir, f))
+                    
+                    
                 outputDir = p.output_dir()
                 if outputDir != '' and exists(outputDir):
                     log('Removing {0}...'.format(outputDir))