From dbb8c2760ccca6bd8193644e30fe01b709ea48bb Mon Sep 17 00:00:00 2001 From: Jaroslav Kysela Date: Fri, 3 Jul 2015 11:59:35 +0200 Subject: [PATCH] configure: early error when a space is in the source path, fixes #2988 --- configure | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/configure b/configure index b841faf41..487456be8 100755 --- 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 # ########################################################################### -- 2.47.3