diff options
Diffstat (limited to 'devbot/build.py')
-rw-r--r-- | devbot/build.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/devbot/build.py b/devbot/build.py index 640ba01..06d6874 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -48,6 +48,11 @@ def build(): _ccache_reset() + if state.full_build_is_required(): + clean() + + state.full_build_touch() + for module in config.load_modules(): if state.built_module_is_unchanged(module): print "\n* Skipping unchanged module %s *" % module.name |