diff options
-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" |