3 # this is the script run by the Jenkins server to run the build and tests. Be
4 # sure to always run it in its dir, i.e. ./jenkins-build.sh, otherwise it might
5 # remove things that you don't want it to.
7 if [ `dirname $0` != "." ]; then
8 echo "only run this script like ./`basename $0`"
15 # this is a local repo on the Guardian Project Jenkins server
17 ./complete-ci-tests /var/www/fdroid