exit common configure script if DIR not set
This commit is contained in:
parent
41e380c57c
commit
e1963ba100
1 changed files with 5 additions and 1 deletions
|
@ -13,7 +13,11 @@ fi
|
||||||
|
|
||||||
CURL="curl -sSf"
|
CURL="curl -sSf"
|
||||||
|
|
||||||
#submodules
|
if [[ -z $DIR ]]; then
|
||||||
|
echo "please set DIR"
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
|
|
||||||
DIR=`realpath $DIR`
|
DIR=`realpath $DIR`
|
||||||
echo "using $DIR as the top level directory"
|
echo "using $DIR as the top level directory"
|
||||||
cd $DIR
|
cd $DIR
|
||||||
|
|
Loading…
Reference in a new issue