diff options
-rwxr-xr-x | tools/configure | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/tools/configure b/tools/configure index a972274f5d..0464150d31 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -16,7 +16,7 @@ input() { | |||
16 | echo $response | 16 | echo $response |
17 | } | 17 | } |
18 | 18 | ||
19 | simulator() { | 19 | simul () { |
20 | ################################################################## | 20 | ################################################################## |
21 | # Figure out where the firmware code is! | 21 | # Figure out where the firmware code is! |
22 | # | 22 | # |
@@ -69,14 +69,14 @@ clean: | |||
69 | 69 | ||
70 | EOF | 70 | EOF |
71 | 71 | ||
72 | echo "Created Makefile" | 72 | echo "Created Makefile" |
73 | 73 | ||
74 | if [ -d "archos" ]; then | 74 | if [ -d "archos" ]; then |
75 | echo "sub directory archos already present" | 75 | echo "sub directory archos already present" |
76 | else | 76 | else |
77 | mkdir archos | 77 | mkdir archos |
78 | echo "created an archos subdirectory for simulating the hard disk" | 78 | echo "created an archos subdirectory for simulating the hard disk" |
79 | fi | 79 | fi |
80 | 80 | ||
81 | } | 81 | } |
82 | 82 | ||
@@ -175,9 +175,9 @@ if [ -z "$debug" ]; then | |||
175 | esac | 175 | esac |
176 | fi | 176 | fi |
177 | 177 | ||
178 | if [ -n "$simulator" ]; then | 178 | if [ "yes" = "$simulator" ]; then |
179 | # we deal with the simulator Makefile separately | 179 | # we deal with the simulator Makefile separately |
180 | simulator | 180 | simul |
181 | exit | 181 | exit |
182 | fi | 182 | fi |
183 | 183 | ||