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