mirror of
https://github.com/f-droid/fdroidclient.git
synced 2026-06-20 13:49:47 -04:00
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.