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

buildserver: move config to buildserver/Vagrantfile.yaml

Browse source
This commit is contained in:
Hans-Christoph Steiner 2022-10-19 11:31:38 +02:00
parent e2fcd633fc
commit abf535aabe
No known key found for this signature in database
GPG key ID: 3E177817BA1B9BFA
3 changed files with 44 additions and 40 deletions
Download patch file Download diff file Expand all files Collapse all files

10
jenkins-setup-build-environment
View file

@ -66,11 +66,11 @@ if [ `nproc` -le 6 ]; then
else
cpus=6
fi
cat <<EOF > $WORKSPACE/makebuildserver.config.py
debian_mirror = 'http://deb.debian.org/debian/'
boot_timeout = 1200
memory = $memory
cpus = $cpus
cat <<EOF > $WORKSPACE/buildserver/Vagrantfile.yaml
debian_mirror: https://deb.debian.org/debian/
boot_timeout: 1200
memory: $memory
cpus: $cpus
EOF
cd $WORKSPACE