diff options
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 |