Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
path: root/devbot/main.py
diff options
context:
space:
mode:
Diffstat (limited to 'devbot/main.py')
-rw-r--r--devbot/main.py19
1 files changed, 19 insertions, 0 deletions
diff --git a/devbot/main.py b/devbot/main.py
index 3e14a72..c368ca7 100644
--- a/devbot/main.py
+++ b/devbot/main.py
@@ -4,6 +4,25 @@ import imp
from devbot import config
from devbot import environ
from devbot import plugins
+from devbot import system
+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)
+
+ state.full_build_touch()
+
+ if not system.check(lazy=True):
+ return False
+
+ if not build.pull(lazy=True):
+ return False
+
+ if not build.build(full=False):
+ return False
def load_plugins():