mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-04 06:30:27 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

jenkins-setup-build-environment: --skip-scan on old builds

Browse source 
The scanner has gotten stricter: !758

[skip ci] since this only affects jenkins.debian.net
This commit is contained in:
Hans-Christoph Steiner 2020-06-25 11:52:15 +02:00
parent 1902bfb6fc
commit f70a4e11dd
No known key found for this signature in database
GPG key ID: 3E177817BA1B9BFA
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
jenkins-setup-build-environment
View file

@ -112,6 +112,6 @@ fi
# if it can't build fdroid, then its really broken
../fdroid build --verbose --stop --latest org.fdroid.fdroid
# Gradle, JNI, preassemble
../fdroid build --verbose --stop org.adaway:55
../fdroid build --verbose -stop --skip-scan org.adaway:55
# building old versions should still work
../fdroid build --verbose --stop org.fdroid.fdroid:102350
../fdroid build --verbose --stop --skip-scan org.fdroid.fdroid:102350