diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 19:38:51 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 19:38:51 (GMT) |
| commit | 4ce76be4be0ad1b3561d5b6319bc1fff5a1c50c8 (patch) | |
| tree | 36470b29e09896c29cad98db516549929977c73e /devbot/build.py | |
| parent | 69d077f81fd00cb9b462030ffb6b8cc8cd9b25c4 (diff) | |
Clean build state when doing a full build
Diffstat (limited to 'devbot/build.py')
| -rw-r--r-- | devbot/build.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devbot/build.py b/devbot/build.py index 1e33c70..6a4d553 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -49,6 +49,7 @@ def build(full=False): _ccache_reset() if full or state.full_build_is_required(): + state.clean_build_state() clean() state.full_build_touch() |