diff --git a/jenkins b/jenkins index 4957148d4..20cd4c6e1 100755 --- a/jenkins +++ b/jenkins @@ -28,10 +28,27 @@ EOF curl -f -T $GEMNAME $GEM_SERVER/$GEMNAME if [ "$?" != "0" ]; then - echo "publish failed" + echo "gem publish failed" exit 1 fi - echo "done publishing gems" + echo "done publishing gem" + + if [ ! -z "$PACKAGE" ]; then + echo "publishing ubuntu package (.deb)" + DEB_SERVER=http://localhost:9000/apt-i386 + DEBPATH=`find target/deb -name *.deb` + DEBNAME=`basename $DEBPATH` + + curl -f -T $DEBPATH $DEB_SERVER/$DEBNAME + + if [ "$?" != "0" ]; then + echo "deb publish failed" + exit 1 + fi + echo "done publishing deb" + + + fi else echo "build failed" exit 1