sat compile : clean the build directory after a successful compilation unless the...

diff --git a/commands/compile.py b/commands/compile.py
index 9a2d0956c73ebc5dc34f9ca2d9ab79c18c4a7936..cc82669f0a76fddc73a633671fa0c3753709a6e2 100644 (file)
--- a/commands/compile.py
+++ b/commands/compile.py
@@ -368,6 +368,15 @@ def compile_all_products(sat, config, options, products_infos, logger):
                       verbose=0,
                       logger_add_link = logger)
             res += 1
+        else:
+            if not src.product.product_is_dev(p_info):
+                log_step(logger, header, "CLEAN BUILD")
+                sat.clean(config.VARS.application + 
+                          " --products " + p_name + 
+                          " --build",
+                          batch=True,
+                          verbose=0,
+                          logger_add_link = logger)
             
         # Log the result
         if res_prod > 0: