2013-01-17 04:59:59 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
2013-07-20 01:45:39 +00:00
|
|
|
DEB_SERVER=http://localhost:9010/apt-`uname -p`
|
2013-01-17 04:59:59 +00:00
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
