diff --git a/jenkins-setup-build-environment b/jenkins-setup-build-environment index 026c5507..abe123bd 100755 --- a/jenkins-setup-build-environment +++ b/jenkins-setup-build-environment @@ -79,6 +79,7 @@ else fi cd fdroiddata +echo "build_server_always = True" > config.py if [ -z $ANDROID_HOME ]; then if [ -e ~/.android/bashrc ]; then