diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-08-04 14:34:00 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-08-04 14:34:00 +0200 |
commit | dd9f08054ccf14e931edf484cf335f6626f82eb3 (patch) | |
tree | 394f7a4b6e642bb7e7806476ae3fbc47ac313776 /update_jdn.sh | |
parent | 51cb048e7e4a4bab1dc0c38a3ba972a3d0dca37c (diff) | |
download | jenkins.debian.net-dd9f08054ccf14e931edf484cf335f6626f82eb3.tar.xz |
reproducible: try harder to create /var/cache/pbuilder/build correctly
Diffstat (limited to 'update_jdn.sh')
-rwxr-xr-x | update_jdn.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 21dbc06b..c06b62bc 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -41,6 +41,7 @@ for user in helmut holger mattia ; do done sudo mkdir -p /srv/workspace +[ -d /srv/workspace/pbuilder ] || sudo mkdir -p /srv/workspace/pbuilder if [ "$HOSTNAME" = "jenkins" ] ; then if ! grep -q '^tmpfs\s\+/srv/workspace\s' /etc/fstab; then @@ -80,18 +81,18 @@ if ! test -h /chroots; then fi # create homedirectories for build hosts (needed for jenkins remote nodes) -NODEHOME=/srv/jenkins/pseudo-hosts/$HOSTNAME-armhf-rb case $HOSTNAME in - bpi0|hb0|wbq0|cbxi4pro0) [ -d $NODEHOME ] || ( sudo mkdir $NODEHOME ; sudo chown jenkins.jenkins $NODEHOME ) + bpi0|hb0|wbq0|cbxi4pro0) NODEHOME=/srv/jenkins/pseudo-hosts/ + [ -d $NODEHOME ] || ( sudo mkdir $NODEHOME ; sudo chown jenkins.jenkins $NODEHOME ) ;; *) ;; esac # only on Debian systems if [ -f /etc/debian_version ] ; then - if ! test -h /var/cache/pbuilder/build; then + if [ ! -h /var/cache/pbuilder/build ] ; then sudo rmdir /var/cache/pbuilder/build || sudo rm -f /var/cache/pbuilder/build - if test -e /var/cache/pbuilder/build; then + if [ -e /var/cache/pbuilder/build ] ; then explain "could not clear /var/cache/pbuilder/build" else sudo ln -s /srv/workspace/pbuilder /var/cache/pbuilder/build |