diff options
| author | Christoph Berg | 2015-12-13 17:35:27 +0000 |
|---|---|---|
| committer | Christoph Berg | 2015-12-13 17:35:27 +0000 |
| commit | 625f1b287f1babb982209278d4f81a811181ef93 (patch) | |
| tree | 7651970267e561b50c25457f03c50611f6f2676f | |
| parent | 55160f53542696fce5052950c073a34b23518e3c (diff) | |
Add hint to configure a /var/tmp bindmount
| -rwxr-xr-x | jenkins/sbuild-update.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/jenkins/sbuild-update.sh b/jenkins/sbuild-update.sh index b968033..e7196ea 100755 --- a/jenkins/sbuild-update.sh +++ b/jenkins/sbuild-update.sh @@ -48,6 +48,10 @@ umask 002 schroot -u root -c $chroot -- sh <<-EOF set -ex + if ! test -f $PGDG_SH; then + echo "$PGDG_SH not found in the chroot, did you configure a /var/tmp bindmount?" + exit 1 + fi if ! test -f /etc/apt/sources.list.d/pgdg.list; then chmod +x $PGDG_SH echo yes | $PGDG_SH |