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

jenkins: update makebuildserver.config.py based on new specs

Browse source
This commit is contained in:
Hans-Christoph Steiner 2019-02-12 20:42:17 +01:00
parent 40edb1a87d
commit b3cd020edb
1 changed files with 8 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

14
jenkins-setup-build-environment
View file

@ -56,12 +56,14 @@ mkdir $VAGRANT_HOME
rm -rf "$WORKSPACE"/../*/.testfiles
cd $WORKSPACE
echo "debian_mirror = 'https://deb.debian.org/debian/'" > $WORKSPACE/makebuildserver.config.py
echo "boot_timeout = 1200" >> $WORKSPACE/makebuildserver.config.py
echo "apt_package_cache = True" >> $WORKSPACE/makebuildserver.config.py
echo "copy_caches_from_host = True" >> $WORKSPACE/makebuildserver.config.py
echo "memory = 6144" >> $WORKSPACE/makebuildserver.config.py
echo "cpus = 2" >> $WORKSPACE/makebuildserver.config.py
cat <<EOF > $WORKSPACE/makebuildserver.config.py
debian_mirror = 'http://deb.debian.org/debian/'"
boot_timeout = 1200
apt_package_cache = True
copy_caches_from_host = True
memory = 8192
cpus = 6
EOF
./makebuildserver -vv --clean
if [ -z "`vagrant box list | egrep '^buildserver\s+\((libvirt|virtualbox), [0-9]+\)$'`" ]; then