From c05e755ced4ce4d528ffc5b34ddb44892e2f938f Mon Sep 17 00:00:00 2001 From: Daniel Narvaez Date: Tue, 25 Dec 2012 18:01:03 +0000 Subject: Add --full to the build command --- (limited to 'devbot/build.py') 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() -- cgit v0.9.1