diff options
Diffstat (limited to 'devbot')
| -rw-r--r-- | devbot/build.py | 7 | ||||
| -rw-r--r-- | devbot/system.py | 4 |
2 files changed, 8 insertions, 3 deletions
diff --git a/devbot/build.py b/devbot/build.py index 6380c6e..95652b5 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -12,6 +12,7 @@ from devbot import state from devbot import utils from devbot import release from devbot import git +from devbot import system _builders = {} _distributors = {} @@ -57,7 +58,11 @@ def build(full=False): state.full_build_touch() - pull(lazy=True) + if not system.check(lazy=True): + return False + + if not pull(lazy=True): + return False to_build = [] for module in config.load_modules(): diff --git a/devbot/system.py b/devbot/system.py index 3cf409e..cefca1c 100644 --- a/devbot/system.py +++ b/devbot/system.py @@ -11,8 +11,8 @@ _checkers = {} def check(remove=False, update=False, test=False, interactive=True, - skip_if_unchanged=False): - if skip_if_unchanged: + lazy=False): + if lazy: if state.system_check_is_unchanged(): return True |