From dda884a8d6b331701f4c05d0d64fa3212771d01e Mon Sep 17 00:00:00 2001
From: Daniel Narvaez <dwnarvaez@gmail.com>
Date: Fri, 30 Nov 2012 09:35:31 +0000
Subject: Exit with error if pull fails

---
(limited to 'commands/pull')

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)
--
cgit v0.9.1