diff --git a/devel/build_chroot b/devel/build_chroot index d281c201508b474cb4af5b47f5c3c267fc876c3b..926c74a0cd01431b693a967623b115fc166a0dde 100755 --- a/devel/build_chroot +++ b/devel/build_chroot @@ -34,6 +34,16 @@ then 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