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 0f617d7093..c58ce164ac 100755 --- a/tools/configure +++ b/tools/configure | |||
| @@ -3933,7 +3933,7 @@ fi | |||
| 3933 | bmp2rb_mono="$rootdir/tools/bmp2rb -f 0" | 3933 | bmp2rb_mono="$rootdir/tools/bmp2rb -f 0" |
| 3934 | bmp2rb_native="$bmp2rb_mono" | 3934 | bmp2rb_native="$bmp2rb_mono" |
| 3935 | output="rockbox.x3" | 3935 | output="rockbox.x3" |
| 3936 | appextra="recorder:gui:radio" | 3936 | appextra="recorder:gui" |
| 3937 | plugins="yes" | 3937 | plugins="yes" |
| 3938 | toolset=$genericbitmaptools | 3938 | toolset=$genericbitmaptools |
| 3939 | boottool="cp" | 3939 | boottool="cp" |