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 7653aa7149..3c1975d4de 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -1840,7 +1840,7 @@ fi | |||
1840 | bmp2rb_native="$rootdir/tools/bmp2rb -f 4" | 1840 | bmp2rb_native="$rootdir/tools/bmp2rb -f 4" |
1841 | output="rockbox.mi4" | 1841 | output="rockbox.mi4" |
1842 | appextra="recorder:gui" | 1842 | appextra="recorder:gui" |
1843 | plugins="" | 1843 | plugins="yes" |
1844 | swcodec="yes" | 1844 | swcodec="yes" |
1845 | boottool="$rootdir/tools/scramble -mi4v3 -model=1630 -type=RBBL" | 1845 | boottool="$rootdir/tools/scramble -mi4v3 -model=1630 -type=RBBL" |
1846 | bootoutput="FWImage.ebn" | 1846 | bootoutput="FWImage.ebn" |