diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 11:38:32 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 11:39:55 (GMT) |
| commit | e61e2694d6d708d59cb7fb2947b410efeb954dc5 (patch) | |
| tree | a25d57f85c38558cbf2d916abb0d95815db7a51b /commands/build | |
| parent | 1419bd6f63c289f985f6bdb18f8071211faa735e (diff) | |
Check system before building
Diffstat (limited to 'commands/build')
| -rwxr-xr-x | commands/build | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/commands/build b/commands/build index 6911394..d86fecd 100755 --- a/commands/build +++ b/commands/build @@ -5,6 +5,7 @@ import sys import common +from devbot import system from devbot import build parser = argparse.ArgumentParser() @@ -13,6 +14,9 @@ args = parser.parse_args() common.setup() +if not system.check(skip_if_unchanged=True): + sys.exit(1) + if args.module: success = build.build_one(args.module) else: |