From 5cfa9c893e92d8d765c01e766f3ac3ffe5de32e3 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Fri, 3 Oct 2014 15:07:11 +0100 Subject: Make disks 8G in size, so they don't fill all the time Plus other changes, accidentally committed. --- jenkinstool-real.conf | 1 + 1 file changed, 1 insertion(+) (limited to 'jenkinstool-real.conf') diff --git a/jenkinstool-real.conf b/jenkinstool-real.conf index b55021e..38765f6 100644 --- a/jenkinstool-real.conf +++ b/jenkinstool-real.conf @@ -1,3 +1,4 @@ [config] log = /mnt/scratch/liw-scratch/jenkinstool.log jenkins-host = jenkins +mirror = http://192.168.122.1/debian -- cgit v1.2.1