summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2016-03-28 12:40:25 -0400
committerHolger Levsen <holger@layer-acht.org>2016-03-28 12:40:25 -0400
commitdacfe978e042e5353d223a0c13025a2aae73d2b6 (patch)
tree5e2b6bdead24d016db489f7f7fe0be6759356cb4
parent64cd57fd518d1cb4e5c8337bfaea58a0866a39c6 (diff)
downloadjenkins.debian.net-dacfe978e042e5353d223a0c13025a2aae73d2b6.tar.xz
reproducible debian: make install script fail if /srv/workspace is not setup as it should on i386 nodes…
-rwxr-xr-xupdate_jdn.sh8
1 files changed, 7 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh
index 841f589c..9f9b396e 100755
--- a/update_jdn.sh
+++ b/update_jdn.sh
@@ -106,7 +106,13 @@ case $HOSTNAME in
*) ;;
esac
case $HOSTNAME in
- jenkins|profitbricks-build*)
+ profitbricks-build*i386)
+ if ! grep -q '/srv/workspace' /etc/fstab; then
+ echo "Warning: you need to manually create a /srv/workspace partition on i386 nodes, exiting."
+ exit 1
+ fi
+ ;;
+ jenkins|profitbricks-build*amd64)
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