diff options
| author | Jens Arnold <amiconn@rockbox.org> | 2005-01-23 00:31:30 +0000 |
|---|---|---|
| committer | Jens Arnold <amiconn@rockbox.org> | 2005-01-23 00:31:30 +0000 |
| commit | edd5f0524350f71d694ec31fed770ce4a4923a56 (patch) | |
| tree | 9b9c89456a4dbddfe3c5cc1c4b202ea0111e4c12 /tools/configure | |
| parent | 598d870f3f57ee72cd2a34235258de5e135c6ab6 (diff) | |
Correctly disable plugins for gmini.
git-svn-id: svn://svn.rockbox.org/rockbox/trunk@5636 a1c6a512-1295-4272-9138-f99709370657
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 d60e882f82..4834fa3e30 100755 --- a/tools/configure +++ b/tools/configure @@ -320,7 +320,7 @@ if [ -z "$archos" ]; then appextra="recorder" archosrom="" flash="" - plugins="no" # disabled for now, enable later on + plugins="" # disabled for now, enable later on ;; 7) |