diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-26 23:53:20 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-26 23:55:13 (GMT) |
commit | d3a372439eda12d10f129a63bea4b4976915d483 (patch) | |
tree | e7d0198d1a7bf4fac9a5fe15a73ee5052c9e0993 | |
parent | 153d05b169b6bd9483c2148b48237cafb6a2db9b (diff) |
We are not really deleting modules
-rw-r--r-- | devbot/build.py | 6 |
1 files changed, 3 insertions, 3 deletions
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(): |