diff --git a/jenkins b/jenkins new file mode 100755 index 000000000..0acf5a9a9 --- /dev/null +++ b/jenkins @@ -0,0 +1,29 @@ +#!/bin/bash + +DEB_SERVER=http://localhost:9010/apt-i386 + +echo "starting build..." +./build + +if [ "$?" = "0" ]; then + echo "build succeeded" + + if [ ! -z "$PACKAGE" ]; then + echo "publishing ubuntu package (.deb)" + 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 +fi + +