diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-26 22:51:22 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-26 22:51:22 (GMT) |
commit | 7733514f0860ed1529c9effe831aa683cdc7d3c4 (patch) | |
tree | 6f42cc9aca7ec73a08412beb108b424a66d5444b /devbot/build.py | |
parent | f7a5dd469a381c1b2f358f41bcd105cf4651df56 (diff) |
Cleanup clean
Diffstat (limited to 'devbot/build.py')
-rw-r--r-- | devbot/build.py | 11 |
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) |