From d67235123ce9ad16feddfc99c16693fe14cfed32 Mon Sep 17 00:00:00 2001 From: Benjamin Renard Date: Fri, 13 Nov 2009 18:19:30 +0100 Subject: [PATCH] buildDocExports : Added export doc dir check --- buildDocExports.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/buildDocExports.sh b/buildDocExports.sh index df6b1afe..ca30da56 100755 --- a/buildDocExports.sh +++ b/buildDocExports.sh @@ -18,6 +18,12 @@ then exit 0 fi +if [ ! -d "$EXPORT_DOC_DIR" ] +then + echo "Error : Export directory $EXPORT_DOC_DIR does not exist !" + exit 2 +fi + DOC_DIR=$ROOT_DIR/doc TMP_DIR=`mktemp -d` ERROR=0