diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-28 22:17:23 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-28 22:17:23 (GMT) |
commit | 48d4bfecf1dd1a32aa58b78720483293036ff9ca (patch) | |
tree | 7ad2b12b2c305ae59c6e0a33d9c0b66677528263 /devbot/main.py | |
parent | ff8370dc4d0d57f24b7b68bbe582d2dbbf76eda6 (diff) |
Misc fixes
Diffstat (limited to 'devbot/main.py')
-rw-r--r-- | devbot/main.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devbot/main.py b/devbot/main.py index c368ca7..0cac72e 100644 --- a/devbot/main.py +++ b/devbot/main.py @@ -9,6 +9,7 @@ from devbot import build from devbot import state from devbot import clean + def run_build(full=False): if full or state.full_build_is_required(): clean.clean(build_only=True) @@ -24,6 +25,8 @@ def run_build(full=False): if not build.build(full=False): return False + return True + def load_plugins(): for loader, name, ispkg in pkgutil.iter_modules(plugins.__path__): |