diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 18:01:03 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 18:01:03 (GMT) |
commit | c05e755ced4ce4d528ffc5b34ddb44892e2f938f (patch) | |
tree | f10ffb0418f45f5d25cae44119605952ceca6685 /commands | |
parent | 3022a9c90a374a9c6ba402b6aede0a503bf6315e (diff) |
Add --full to the build command
Diffstat (limited to 'commands')
-rwxr-xr-x | commands/build | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/commands/build b/commands/build index d86fecd..714e783 100755 --- a/commands/build +++ b/commands/build @@ -10,6 +10,7 @@ from devbot import build parser = argparse.ArgumentParser() parser.add_argument("module", nargs="?", help="name of the module to build") +parser.add_argument("--full", action="store_true", help="force a full build") args = parser.parse_args() common.setup() @@ -20,7 +21,7 @@ if not system.check(skip_if_unchanged=True): if args.module: success = build.build_one(args.module) else: - success = build.build() + success = build.build(full=args.full) if not success: sys.exit(1) |