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 a928e3060c..63e5512c01 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -1349,7 +1349,7 @@ EOF | |||
1349 | appextra="recorder:gui" | 1349 | appextra="recorder:gui" |
1350 | archosrom="" | 1350 | archosrom="" |
1351 | flash="" | 1351 | flash="" |
1352 | plugins="" | 1352 | plugins="yes" |
1353 | swcodec="yes" | 1353 | swcodec="yes" |
1354 | boottool="$rootdir/tools/scramble -mi4v3 -model=c200 -type=RBBL" | 1354 | boottool="$rootdir/tools/scramble -mi4v3 -model=c200 -type=RBBL" |
1355 | bootoutput="firmware.mi4" | 1355 | bootoutput="firmware.mi4" |