summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/configure8
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure
index ba464472b5..435d26347b 100755
--- a/tools/configure
+++ b/tools/configure
@@ -549,6 +549,14 @@ fi
# get our current directory
pwd=`pwd`;
+if { echo $pwd | grep " "; } then
+ echo "You're running this script in a path that contains space. The build"
+ echo "system is unfortunately not clever enough to deal with this. Please"
+ echo "run the script from a different path, rename the path or fix the build"
+ echo "system!"
+ exit
+fi
+
if [ -z "$rootdir" ]; then
##################################################################
# Figure out where the source code root is!