#!/bin/bash # # 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 # this is a local repo on the Guardian Project Jenkins server cd tests ./complete-ci-tests /var/www/fdroid