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 a2cdfda770..c49a3c1003 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -1099,7 +1099,7 @@ EOF | |||
1099 | arm7tdmicc | 1099 | arm7tdmicc |
1100 | tool="$rootdir/tools/mkmi4.sh e200" | 1100 | tool="$rootdir/tools/mkmi4.sh e200" |
1101 | bmp2rb_mono="$rootdir/tools/bmp2rb -f 0" | 1101 | bmp2rb_mono="$rootdir/tools/bmp2rb -f 0" |
1102 | bmp2rb_native="$rootdir/tools/bmp2rb -f 5" | 1102 | bmp2rb_native="$rootdir/tools/bmp2rb -f 4" |
1103 | output="PP5022.mi4" | 1103 | output="PP5022.mi4" |
1104 | appextra="recorder:gui" | 1104 | appextra="recorder:gui" |
1105 | archosrom="" | 1105 | archosrom="" |