made command source optional
This commit is contained in:
parent
fa7e5d4688
commit
54682b4a39
|
@ -8,7 +8,10 @@ echo "+--------------------------------------+"
|
||||||
echo "| CHECKING prelude |"
|
echo "| CHECKING prelude |"
|
||||||
echo "+--------------------------------------+"
|
echo "+--------------------------------------+"
|
||||||
|
|
||||||
source ./.env
|
if [ -z "$SDK" ]; then
|
||||||
|
echo "no SDK specified, sourcing .env"
|
||||||
|
source ./.env
|
||||||
|
fi
|
||||||
|
|
||||||
if [ -z "$SDK" ]; then
|
if [ -z "$SDK" ]; then
|
||||||
echo "no SDK specified"
|
echo "no SDK specified"
|
||||||
|
|
Loading…
Reference in New Issue