From ecc35003950879d86e1516165ca5155ccb3dceef Mon Sep 17 00:00:00 2001 From: MilhouseVH Date: Mon, 16 Sep 2019 02:51:03 +0100 Subject: [PATCH] config/options: log PWD when the current directory includes a space --- config/options | 2 ++ 1 file changed, 2 insertions(+) diff --git a/config/options b/config/options index 13f214ac17..2bebb8d4cc 100644 --- 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