From 35fc18cc9ef7281df5215fa44c2e2faa6b6ca7d7 Mon Sep 17 00:00:00 2001
From: MilhouseVH <milhouseVH.github@nmacleod.com>
Date: Sat, 2 Mar 2019 21:44:05 +0000
Subject: [PATCH] config/options: ban spaces in paths

---
 config/options | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/config/options b/config/options
index 1bba024b99..13f214ac17 100644
--- a/config/options
+++ b/config/options
@@ -4,6 +4,12 @@ if [[ "${EUID}" -eq 0 ]]; then
   exit 1
 fi
 
+# Spaces in paths are verboten
+if [[ ${PWD} =~ [[:space:]] ]]; then
+  echo "Building in a folder that includes spaces is NOT supported. Use a folder without spaces." 1>&2
+  exit 1
+fi
+
 # set default language for buildsystem
 export LC_ALL=C