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 c3442719c0..c06611e105 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -2521,7 +2521,7 @@ fi | |||
2521 | boottool="true" | 2521 | boottool="true" |
2522 | bootoutput="" | 2522 | bootoutput="" |
2523 | appextra="gui:recorder:radio" | 2523 | appextra="gui:recorder:radio" |
2524 | plugins="no" | 2524 | plugins="yes" |
2525 | swcodec="yes" | 2525 | swcodec="yes" |
2526 | toolset=$scramblebitmaptools | 2526 | toolset=$scramblebitmaptools |
2527 | t_cpu="arm" | 2527 | t_cpu="arm" |