diff options
author | Daniel Stenberg <daniel@haxx.se> | 2007-04-20 11:02:16 +0000 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2007-04-20 11:02:16 +0000 |
commit | ef1109ad9340e5039f54371eb40126a33cb20d2c (patch) | |
tree | 203a28d4019ace9ecae08a2ced11f62ed475a7c3 /tools/configure | |
parent | 5a795366973c848f5c34f7f13743539a0873421e (diff) | |
download | rockbox-ef1109ad9340e5039f54371eb40126a33cb20d2c.tar.gz rockbox-ef1109ad9340e5039f54371eb40126a33cb20d2c.zip |
refuse to continue if pwd contains space, since the rest of the script
doesn't act correctly then!
git-svn-id: svn://svn.rockbox.org/rockbox/trunk@13213 a1c6a512-1295-4272-9138-f99709370657
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! |