From d3a372439eda12d10f129a63bea4b4976915d483 Mon Sep 17 00:00:00 2001 From: Daniel Narvaez Date: Wed, 26 Dec 2012 23:53:20 +0000 Subject: We are not really deleting modules --- (limited to 'devbot') diff --git a/devbot/build.py b/devbot/build.py index a2f276a..a5a4906 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -96,16 +96,16 @@ def clean(): state.clean(build_only=True) - print "* Deleting install directory" + print "* Emptying install directory" _empty_dir(config.install_dir) - print "* Deleting build directory" + print "* Emptying 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 "* Deleting %s" % module.name + print "* Cleaning %s" % module.name def _ccache_reset(): -- cgit v0.9.1