diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 17:39:56 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 17:39:56 (GMT) |
| commit | 3022a9c90a374a9c6ba402b6aede0a503bf6315e (patch) | |
| tree | 86129b34ecb5655a7b22f2bb1cc4e45d734fd01c /devbot/build.py | |
| parent | 1226f3dabfef23217d6052b42e18eb7340f5a7f4 (diff) | |
Allow the config to require a full build
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 |