2014-04-03 00:32:41 +02:00
|
|
|
#!/bin/bash
|
2014-04-01 22:17:03 +02:00
|
|
|
#
|
|
|
|
# this is the script run by the Jenkins server to run the build and tests. Be
|
|
|
|
# sure to always run it in its dir, i.e. ./jenkins-build.sh, otherwise it might
|
|
|
|
# remove things that you don't want it to.
|
|
|
|
|
|
|
|
if [ `dirname $0` != "." ]; then
|
|
|
|
echo "only run this script like ./`basename $0`"
|
|
|
|
exit
|
|
|
|
fi
|
|
|
|
|
|
|
|
set -e
|
|
|
|
set -x
|
|
|
|
|
2015-03-11 22:40:26 +01:00
|
|
|
# this is a local repo on the Guardian Project Jenkins server
|
2015-09-01 12:28:58 +02:00
|
|
|
cd tests
|
|
|
|
./complete-ci-tests /var/www/fdroid
|