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 d3312c0c0d..022f38071b 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -3342,7 +3342,7 @@ fi | |||
3342 | tool="cp " | 3342 | tool="cp " |
3343 | boottool="cp " | 3343 | boottool="cp " |
3344 | bmp2rb_mono="$rootdir/tools/bmp2rb -f 0" | 3344 | bmp2rb_mono="$rootdir/tools/bmp2rb -f 0" |
3345 | bmp2rb_native="$rootdir/tools/bmp2rb -f 4" | 3345 | bmp2rb_native="$rootdir/tools/bmp2rb -f 9" |
3346 | output="rockbox" | 3346 | output="rockbox" |
3347 | bootoutput="rockbox" | 3347 | bootoutput="rockbox" |
3348 | appextra="recorder:gui:radio" | 3348 | appextra="recorder:gui:radio" |