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 6dc23258dc..89d38b3a66 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -1308,7 +1308,7 @@ EOF | |||
1308 | appextra="recorder:gui" | 1308 | appextra="recorder:gui" |
1309 | archosrom="" | 1309 | archosrom="" |
1310 | flash="" | 1310 | flash="" |
1311 | plugins="" | 1311 | plugins="yes" |
1312 | swcodec="yes" | 1312 | swcodec="yes" |
1313 | boottool="$rootdir/tools/scramble -mi4v2 -model=m100 -type=RBBL" | 1313 | boottool="$rootdir/tools/scramble -mi4v2 -model=m100 -type=RBBL" |
1314 | bootoutput="pp5020.mi4" | 1314 | bootoutput="pp5020.mi4" |