diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 18:01:03 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 18:01:03 (GMT) |
| commit | c05e755ced4ce4d528ffc5b34ddb44892e2f938f (patch) | |
| tree | f10ffb0418f45f5d25cae44119605952ceca6685 /devbot/build.py | |
| parent | 3022a9c90a374a9c6ba402b6aede0a503bf6315e (diff) | |
Add --full to the build command
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() |