makedist.midori: Warn if MINGW_PREFIX variable is not set
This commit is contained in:
parent
93b352aa34
commit
f387f9c29b
1 changed files with 5 additions and 0 deletions
|
@ -23,6 +23,11 @@
|
||||||
# a bit of configuration
|
# a bit of configuration
|
||||||
root_dir=$MINGW_PREFIX
|
root_dir=$MINGW_PREFIX
|
||||||
|
|
||||||
|
if [ "$MINGW_PREFIX" == "" ]; then
|
||||||
|
echo "Warning!. MING_PREFIX variable is empty!"
|
||||||
|
sleep 5s
|
||||||
|
fi
|
||||||
|
|
||||||
# create temporary working directory
|
# create temporary working directory
|
||||||
temp_dir=`mktemp -d`
|
temp_dir=`mktemp -d`
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue