2012-11-18 07:56:50 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
2013-07-20 01:46:19 +00:00
|
|
|
DEB_SERVER=http://localhost:9010/apt-`uname -p`
|
2013-01-07 02:31:31 +00:00
|
|
|
|
2012-11-18 07:56:50 +00:00
|
|
|
echo "starting build..."
|
|
|
|
|
./build
|
|
|
|
|
|
|
|
|
|
if [ "$?" = "0" ]; then
|
|
|
|
|
echo "build succeeded"
|
2013-01-07 02:03:14 +00:00
|
|
|
|
|
|
|
|
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
|
2012-11-18 07:56:50 +00:00
|
|
|
else
|
|
|
|
|
echo "build failed"
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
