diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/configure | 8 |
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! |