If the data directory is not in the expected place, the script complains
with an error message and stops, instead of giving obscure messages.
Partially fixes Issue 459.
Signed-off-by: Michele Tartara <mtartara@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Guido Trotter <ultrotter@google.com>
exit
fi
+if [ ! -d $DATA_DIR ]
+then
+ echo "The data directory"
+ echo " $DATA_DIR"
+ echo "does not exist."
+ echo "Please, set the DATA_DIR environment variable so that it points to the"
+ echo "data directory."
+ exit
+fi
+
set -e
#Cleanup