diff options
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 92f7d04154..593b166a63 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -335,7 +335,7 @@ if [ -z "$archos" ]; then | |||
335 | memory=16 # fixed size (16 is a guess, remove comment when checked) | 335 | memory=16 # fixed size (16 is a guess, remove comment when checked) |
336 | calmrisccc | 336 | calmrisccc |
337 | tool="cp" # might work for now! | 337 | tool="cp" # might work for now! |
338 | output="rockboxgmini" | 338 | output="rockbox.gmini" |
339 | appextra="recorder" | 339 | appextra="recorder" |
340 | archosrom="" | 340 | archosrom="" |
341 | flash="" | 341 | flash="" |