From 5c17f89a246b5b81eeebff5b15d33c8ec2dddd2e Mon Sep 17 00:00:00 2001
From: Seth Call <sethcall@gmail.com>
Date: Sat, 17 Nov 2012 23:23:58 -0600
Subject: [PATCH] * jenkins script fails if curl push fails

---
 jenkins | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/jenkins b/jenkins
index 5c80a3ba3..5d1ba94b8 100755
--- a/jenkins
+++ b/jenkins
@@ -8,10 +8,16 @@ if [ "$?" = "0" ]; then
     echo "publishing gem"
     pushd "target/ruby_package"
         curl -T *.gem http://localhost:9000/gems
+        
+        if [ "$?" != "0" ]; then
+            "publish failed"
+            exit 1
+        fi
     popd
     echo "done publishing gems"
 else
     echo "build failed"
+    exit 1
 fi