diff options
| author | Rémi Verschelde | 2018-05-30 19:11:33 +0200 |
|---|---|---|
| committer | Rémi Verschelde | 2018-05-30 19:11:36 +0200 |
| commit | 3334209a732737274a8598191267573fcb989a99 (patch) | |
| tree | 43604e5f97bc11a9ba2c2e8720a49c0a1d6d0c5b /modules/etc | |
| parent | 28fa82c2defacca8ccad5c26022d2eeaee925f4f (diff) | |
| download | godot-3334209a732737274a8598191267573fcb989a99.tar.gz godot-3334209a732737274a8598191267573fcb989a99.tar.zst godot-3334209a732737274a8598191267573fcb989a99.zip | |
Diffstat (limited to 'modules/etc')
| -rw-r--r-- | modules/etc/config.py | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/modules/etc/config.py b/modules/etc/config.py index 395fc1bb0..098f1eafa 100644 --- a/modules/etc/config.py +++ b/modules/etc/config.py @@ -1,9 +1,5 @@ -def can_build(platform): - return True +def can_build(env, platform): + return env['tools'] 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'] = False - env.disabled_modules.append("etc") + pass |