jenkins-build-makebuildserver: bump cpus to 2 and memory to 6144

profitbricks-build7-amd64 has 8 gigs of RAM and 2 cores, so might as well
use them!

diff --git a/jenkins-build-makebuildserver b/jenkins-build-makebuildserver
index 5238536f5d79ca0b30fe884c22f68aab234c663d..31b95ab8d868c7f3289ef2fad7090d4af8e8b0d7 100755 (executable)
--- a/jenkins-build-makebuildserver
+++ b/jenkins-build-makebuildserver
@@ -52,6 +52,8 @@ echo "debian_mirror = 'https://deb.debian.org/debian/'" > $WORKSPACE/makebuildse
 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
 ./makebuildserver -vv --clean
 
 if [ -z "`vagrant box list | egrep '^buildserver\s+\((libvirt|virtualbox), [0-9]+\)$'`" ]; then