configure: early error when a space is in the source path, fixes #2988

diff --git a/configure b/configure
index b841faf41292d370671a98b1e61abf73b74a98d1..487456be8b0a659f8fe655c149f81fbbd52517aa 100755 (executable)
--- a/configure
+++ b/configure
@@ -57,6 +57,10 @@ OPTIONS=(
 
 . "$ROOTDIR/support/configure.inc"
 
+case "$ROOTDIR" in
+  *\ * ) die "The source directory contains a space. It is not supported."
+esac
+
 # ###########################################################################
 # Parse arguments
 # ###########################################################################