diff options
Diffstat (limited to 'modules/etc/config.py')
| -rw-r--r-- | modules/etc/config.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/etc/config.py b/modules/etc/config.py index ee719e52b8..7dc2cb59c1 100644 --- a/modules/etc/config.py +++ b/modules/etc/config.py @@ -7,5 +7,5 @@ def configure(env): # Tools only, disabled for non-tools # TODO: Find a cleaner way to achieve that if not env['tools']: - env["module_etc_enabled"] = "no" + env['module_etc_enabled'] = False env.disabled_modules.append("etc") |