diff options
Diffstat (limited to 'install/ide')
| -rw-r--r-- | install/ide | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install/ide b/install/ide index ac0ea62..67b5be1 100644 --- a/install/ide +++ b/install/ide @@ -2,7 +2,7 @@ install () { - MODULES=" $(all_modules "/ide/" | grep -v "legacy") "; + MODULES=" $(checked_modules "/ide/" | grep -v "legacy") "; BINARIES="" FILES="" SCRIPT="" |