Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
path: root/devbot/build.py
diff options
context:
space:
mode:
authorDaniel Narvaez <dwnarvaez@gmail.com>2012-12-26 22:51:22 (GMT)
committer Daniel Narvaez <dwnarvaez@gmail.com>2012-12-26 22:51:22 (GMT)
commit7733514f0860ed1529c9effe831aa683cdc7d3c4 (patch)
tree6f42cc9aca7ec73a08412beb108b424a66d5444b /devbot/build.py
parentf7a5dd469a381c1b2f358f41bcd105cf4651df56 (diff)
Cleanup clean
Diffstat (limited to 'devbot/build.py')
-rw-r--r--devbot/build.py11
1 files changed, 7 insertions, 4 deletions
diff --git a/devbot/build.py b/devbot/build.py
index 31f926d..a2f276a 100644
--- a/devbot/build.py
+++ b/devbot/build.py
@@ -58,7 +58,6 @@ def pull(lazy=False):
def build(full=False):
if full or state.full_build_is_required():
- state.clean_build_state()
clean()
environ.setup()
@@ -93,15 +92,20 @@ def distribute():
def clean():
- print "= Cleaning =\n"
+ print "\n= Clean =\n"
+ state.clean(build_only=True)
+
+ print "* Deleting install directory"
_empty_dir(config.install_dir)
+
+ print "* Deleting build directory"
_empty_dir(config.get_build_dir())
for module in config.load_modules():
if not module.out_of_source:
if module.get_git_module().clean():
- print "* Cleaning %s git repository" % module.name
+ print "* Deleting %s" % module.name
def _ccache_reset():
@@ -274,6 +278,5 @@ def _distribute_module(module, log=None):
def _empty_dir(dir_path):
- print "Emptying %s directory" % dir_path
shutil.rmtree(dir_path, ignore_errors=True)
os.mkdir(dir_path)