From 363eb64f4bdb267bb318e62294446554a8986f59 Mon Sep 17 00:00:00 2001
From: Holger Levsen <holger@layer-acht.org>
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