diff options
Diffstat (limited to 'tools/configure')
-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 | |||
549 | # get our current directory | 549 | # get our current directory |
550 | pwd=`pwd`; | 550 | pwd=`pwd`; |
551 | 551 | ||
552 | if { echo $pwd | grep " "; } then | ||
553 | echo "You're running this script in a path that contains space. The build" | ||
554 | echo "system is unfortunately not clever enough to deal with this. Please" | ||
555 | echo "run the script from a different path, rename the path or fix the build" | ||
556 | echo "system!" | ||
557 | exit | ||
558 | fi | ||
559 | |||
552 | if [ -z "$rootdir" ]; then | 560 | if [ -z "$rootdir" ]; then |
553 | ################################################################## | 561 | ################################################################## |
554 | # Figure out where the source code root is! | 562 | # Figure out where the source code root is! |