diff options
author | Daniel Stenberg <daniel@haxx.se> | 2002-09-02 11:50:52 +0000 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2002-09-02 11:50:52 +0000 |
commit | 42c125fad6ff6ddd1d59085632399d2032233e69 (patch) | |
tree | b96829b0c3e60c655a70107a6683574ff05747d1 /tools | |
parent | e1d79e4f8a7021a458ff60bf0ec5fef4ffb28082 (diff) | |
download | rockbox-42c125fad6ff6ddd1d59085632399d2032233e69.tar.gz rockbox-42c125fad6ff6ddd1d59085632399d2032233e69.zip |
Prevent this script from being run in the same directory where this script
lives. It will make more people happy. ;-)
git-svn-id: svn://svn.rockbox.org/rockbox/trunk@2128 a1c6a512-1295-4272-9138-f99709370657
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 97a7d04dc9..f8dd633738 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -13,6 +13,31 @@ debug=$2 | |||
13 | 13 | ||
14 | extra_defines="-" | 14 | extra_defines="-" |
15 | 15 | ||
16 | if test "$1" = "--help"; then | ||
17 | echo "Rockbox configure script." | ||
18 | echo "Invoke this in a directory to generate a Makefile to build Rockbox" | ||
19 | echo "Do *NOT* run this within the tools directory!" | ||
20 | exit | ||
21 | fi | ||
22 | |||
23 | if test -r "configure"; then | ||
24 | # this is a check for a configure script in the current directory, it there | ||
25 | # is one, try to figure out if it is this one! | ||
26 | |||
27 | if { grep "^# Jukebox" configure >/dev/null 2>&1 } ; then | ||
28 | echo "WEEEEEEEEP. Don't run this configure script within the tools directory." | ||
29 | echo "It will only cause you pain and grief. Instead do this:" | ||
30 | echo "" | ||
31 | echo " cd .." | ||
32 | echo " mkdir build-dir" | ||
33 | echo " cd build-dir" | ||
34 | echo " ../tools/configure" | ||
35 | echo "" | ||
36 | echo "Much happiness will arise from this. Enjoy" | ||
37 | exit | ||
38 | fi | ||
39 | fi | ||
40 | |||
16 | input() { | 41 | input() { |
17 | read response | 42 | read response |
18 | echo $response | 43 | echo $response |