diff options
Diffstat (limited to 'devbot/build.py')
| -rw-r--r-- | devbot/build.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devbot/build.py b/devbot/build.py index 06d6874..1e33c70 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -43,12 +43,12 @@ def pull(): return True -def build(): +def build(full=False): environ.setup() _ccache_reset() - if state.full_build_is_required(): + if full or state.full_build_is_required(): clean() state.full_build_touch() |