diff options
author | Holger Levsen <holger@layer-acht.org> | 2016-12-23 19:43:34 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-12-23 19:45:14 +0100 |
commit | 6bbf4019f62cba5623e41696171fbcba310cf300 (patch) | |
tree | de2820ef4b1b5bc24aaaa362350841ae78929e99 /update_jdn.sh | |
parent | 17500cc736fd17694b4a796be121d470a5d21bb2 (diff) | |
download | jenkins.debian.net-6bbf4019f62cba5623e41696171fbcba310cf300.tar.xz |
reproducible Debian: build on tmpfs on arm64 too
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'update_jdn.sh')
-rwxr-xr-x | update_jdn.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 2a8452fe..9a5522df 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -167,6 +167,10 @@ case $HOSTNAME in TMPFSSIZE=200 TMPSIZE=15 ;; + codethink*) + TMPFSSIZE=100 + TMPSIZE=15 + ;; *) ;; esac case $HOSTNAME in @@ -176,7 +180,7 @@ case $HOSTNAME in exit 1 fi ;; - jenkins|profitbricks-build*amd64) + jenkins|profitbricks-build*amd64|codethink*) if ! grep -q '^tmpfs\s\+/srv/workspace\s' /etc/fstab; then echo "tmpfs /srv/workspace tmpfs defaults,size=${TMPFSSIZE}g 0 0" | sudo tee -a /etc/fstab >/dev/null fi |