diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-03-28 12:40:25 -0400 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-03-28 12:40:25 -0400 |
| commit | dacfe978e042e5353d223a0c13025a2aae73d2b6 (patch) | |
| tree | 5e2b6bdead24d016db489f7f7fe0be6759356cb4 /update_jdn.sh | |
| parent | 64cd57fd518d1cb4e5c8337bfaea58a0866a39c6 (diff) | |
| download | jenkins.debian.net-dacfe978e042e5353d223a0c13025a2aae73d2b6.tar.xz | |
reproducible debian: make install script fail if /srv/workspace is not setup as it should on i386 nodes…
Diffstat (limited to 'update_jdn.sh')
| -rwxr-xr-x | update_jdn.sh | 8 |
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 |