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

2026-03-31 14:41:55 -07:00 · 2019-09-16 02:51:03 +01:00
parent 5e650298c0
commit baeacecab7
1 changed files with 2 additions and 0 deletions
--- a/config/options
+++ b/config/options
@@ -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