exit if $ZIMBRA_HOME is not defined

57295bd0 · Marco Mariani · 719ee847 · 57295bd0
Commit 57295bd0 authored Mar 27, 2013 by Marco Mariani
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 0 deletions

ThirdParty/buildThirdParty.sh ThirdParty/buildThirdParty.sh +5 -0

No files found.
--- a/ThirdParty/buildThirdParty.sh
+++ b/ThirdParty/buildThirdParty.sh
@@ -27,6 +27,11 @@ OVERRIDE=no
 ZIMBRA=no
 MIRROR="http://cpan.yahoo.com/"

+if [ -z $ZIMBRA_HOME ]; then
+  echo "ZIMBRA_HOME is not defined"
+  exit 10
+fi
+
 usage() {
 	echo ""
 	echo "Usage: "`basename $0`" [-b] -c [-p] [-s]" >&2