config/options: log PWD when the current directory includes a space

This commit is contained in:
MilhouseVH 2019-09-16 02:51:03 +01:00
parent dae7e1c534
commit ecc3500395

View File

@ -6,6 +6,8 @@ fi
# Spaces in paths are verboten
if [[ ${PWD} =~ [[:space:]] ]]; then
echo "Current PWD: \"${PWD}\"" 1>&2
echo 1>&2
echo "Building in a folder that includes spaces is NOT supported. Use a folder without spaces." 1>&2
exit 1
fi