Hans-Christoph Steiner d00888e6a3 move Jenkins script back to ./jenkins-build
This script should be in the root of the git repo so that the config in
Jenkins' web interface is always just:

    ./jenkins-build

This commit also includes a little code to make it easier for people to run
this script on their own machines, if they want to reproduce the Jenkins
build setup.
2014-12-12 10:47:04 +01:00
..
2014-12-09 15:55:13 +01:00
2014-12-09 15:55:13 +01:00