diff options
Diffstat (limited to 'commands/pull')
-rwxr-xr-x | commands/pull | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/commands/pull b/commands/pull index 0900295..5989be6 100755 --- a/commands/pull +++ b/commands/pull @@ -1,6 +1,7 @@ #!/usr/bin/python -u import argparse +import sys import common @@ -13,6 +14,9 @@ args = parser.parse_args() common.setup() if args.module: - build.pull_one(args.module) + success = build.pull_one(args.module) else: - build.pull() + success = build.pull() + +if not success: + sys.exit(1) |