diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 8ffc5f2c8a..92f7d04154 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -334,7 +334,7 @@ if [ -z "$archos" ]; then | |||
334 | target="-DARCHOS_GMINI120 -DLOADADDRESS=\$(LOADADDRESS)" | 334 | target="-DARCHOS_GMINI120 -DLOADADDRESS=\$(LOADADDRESS)" |
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="$rootdir/tools/scramble" # not correct but... | 337 | tool="cp" # might work for now! |
338 | output="rockboxgmini" | 338 | output="rockboxgmini" |
339 | appextra="recorder" | 339 | appextra="recorder" |
340 | archosrom="" | 340 | archosrom="" |