Hans-Christoph Steiner 580a9eb058 buildserver: support HTTPS Debian mirrors ... The ever troublesome gpjenkins box needs to use HTTPS mirrors. Plus it improves the security of the buildserver, since there have been CVEs that HTTPS would protect against: https://www.debian.org/security/2016/dsa-3733		2017-03-16 15:06:35 +01:00
..
.gitignore	buildserver: buildserver/Vagrantfile is configed by .yaml file	2016-07-04 23:54:52 +02:00
config.buildserver.py	Add ndk 13b	2016-11-25 21:18:37 +01:00
gradle	makebs: add gradle 3.4.1	2017-03-10 14:29:36 +01:00
provision-android-ndk	Add ndk 13b	2016-11-25 21:18:37 +01:00
provision-android-sdk	buildserver: allow gradle/sdkmanager to install into the new m2repository	2017-03-16 13:23:42 +01:00
provision-apt-get-install	buildserver: support HTTPS Debian mirrors	2017-03-16 15:06:35 +01:00
provision-apt-proxy	buildserver: send config to vagrant via YAML file	2016-07-04 23:54:52 +02:00
provision-gradle	buildserver: unpack gradle versions with provisioning shell script	2016-06-15 16:35:00 +02:00
provision-pip	buildserver: make provision scripts output name to log	2016-07-04 23:54:52 +02:00
provision-qt-sdk	Add qt sdk support	2016-09-27 14:36:12 +02:00
provision-ubuntu-trusty-paramiko	buildserver: make provision scripts output name to log	2016-07-04 23:54:52 +02:00
setup-env-vars	buildserver: do not set NDK env vars, they are handled by fdroid build	2016-06-21 10:29:56 +02:00
Vagrantfile	buildserver: only auto-detect KVM in ./makebuildserver	2016-09-28 10:16:30 +02:00