From 363eb64f4bdb267bb318e62294446554a8986f59 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Tue, 29 Sep 2015 14:38:10 +0200 Subject: reproducible: increase size of /srv/workspace a bit --- update_jdn.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/update_jdn.sh b/update_jdn.sh index 3827cd95..fb61d96d 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -50,7 +50,7 @@ sudo mkdir -p /srv/workspace case $HOSTNAME in jenkins) TMPFSSIZE=100 ;; profitbricks-build4-amd64) TMPFSSIZE=32 ;; - profitbricks-build?-amd64) TMPFSSIZE=60 ;; + profitbricks-build?-amd64) TMPFSSIZE=70 ;; *) ;; esac case $HOSTNAME in -- cgit v1.2.3-70-g09d2