diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-09-29 14:38:10 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-09-29 14:38:10 +0200 |
| commit | 363eb64f4bdb267bb318e62294446554a8986f59 (patch) | |
| tree | d82d233b436508535590044fb02a0aad0c19988b /update_jdn.sh | |
| parent | cf82d1019dec5998419c8a3d4bee20bfe571616a (diff) | |
| download | jenkins.debian.net-363eb64f4bdb267bb318e62294446554a8986f59.tar.xz | |
reproducible: increase size of /srv/workspace a bit
Diffstat (limited to 'update_jdn.sh')
| -rwxr-xr-x | update_jdn.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |