jenkins-build

   1 #!/bin/bash
   2 #
   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.
   6
   7 if [ `dirname $0` != "." ]; then
   8     echo "only run this script like ./`basename $0`"
   9     exit
  10 fi
  11
  12 set -e
  13 set -x
  14
  15 # this is a local repo on the Guardian Project Jenkins server
  16 cd tests
  17 ./complete-ci-tests /var/www/fdroid