summaryrefslogtreecommitdiffstats
path: root/update_jdn.sh
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2016-12-23 19:43:34 +0100
committerHolger Levsen <holger@layer-acht.org>2016-12-23 19:45:14 +0100
commit6bbf4019f62cba5623e41696171fbcba310cf300 (patch)
treede2820ef4b1b5bc24aaaa362350841ae78929e99 /update_jdn.sh
parent17500cc736fd17694b4a796be121d470a5d21bb2 (diff)
downloadjenkins.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-xupdate_jdn.sh6
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