diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 4cb1f96291..53be8eee91 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -1031,7 +1031,7 @@ EOF | |||
1031 | target_id=20 | 1031 | target_id=20 |
1032 | archos="gigabeatf" | 1032 | archos="gigabeatf" |
1033 | target="-DGIGABEAT_F" | 1033 | target="-DGIGABEAT_F" |
1034 | memory=32 # always | 1034 | memory=30 # always |
1035 | arm9tdmicc | 1035 | arm9tdmicc |
1036 | tool="cp" | 1036 | tool="cp" |
1037 | bmp2rb_mono="$rootdir/tools/bmp2rb -f 0" | 1037 | bmp2rb_mono="$rootdir/tools/bmp2rb -f 0" |