]> Frank Brehm's Git Trees - profitbricks/jenkins-build-scripts.git/commitdiff
.pbuilderrc: Make sure that $DIST is set
authorBenjamin Drung <benjamin.drung@profitbricks.com>
Fri, 25 Jul 2014 22:19:38 +0000 (00:19 +0200)
committerBenjamin Drung <benjamin.drung@profitbricks.com>
Fri, 25 Jul 2014 22:19:38 +0000 (00:19 +0200)
.pbuilderrc

index 3c29f0955e624f9ec0cb324ec6b54b3d034d0020..af68e2685fa954fafc630125fda4a1b6f64e9e5b 100644 (file)
@@ -16,6 +16,10 @@ EXPERIMENTAL_PBNAME="experimental"
 EXTRAPACKAGES="lintian vim python python-git kernel-package cpio devscripts fakeroot module-assistant debhelper html2text dctrl-tools python-support python-sqlalchemy-ext less dpatch maven2 pbzip2 pigz rsync cdbs quilt git-core wget toilet figlet openjdk-6-jdk openjdk-6-jre-headless openjdk-6-jre-lib openssh-client build-essential subversion qemu-kvm libvirt-bin cppcheck sloccount debootstrap ldap-utils pxz python-apt python-debian pixz python-argparse"
 EXTRA_REPO=""
 APTGETOPT=('--force-yes')
+if test -z "$DIST"; then
+    echo "${ECHO_PREFIX}Variable \$DIST is either not set or empty." >&2
+    exit 1
+fi
 : ${PB_SUITE:="pre-staging"}
 
 case "$DIST" in