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