From e1963ba1004ecf981b6329a36e4b1613a93c7e81 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cyryl=20P=C5=82otnicki-Chudyk?= Date: Sat, 30 Jul 2016 21:08:05 +0200 Subject: [PATCH] exit common configure script if DIR not set --- common/configure_fresh_system | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/common/configure_fresh_system b/common/configure_fresh_system index 4fc49505..4ddb709a 100755 --- a/common/configure_fresh_system +++ b/common/configure_fresh_system @@ -13,7 +13,11 @@ fi CURL="curl -sSf" -#submodules +if [[ -z $DIR ]]; then + echo "please set DIR" + exit 1 +fi + DIR=`realpath $DIR` echo "using $DIR as the top level directory" cd $DIR