diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-30 09:35:31 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-30 09:35:31 (GMT) |
commit | dda884a8d6b331701f4c05d0d64fa3212771d01e (patch) | |
tree | 49088f3921356dc5630f79bacee02dfa51d5469c | |
parent | 782fb4384c83210c689e446fc9b06b116b386c58 (diff) |
Exit with error if pull fails
-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) |