diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-16 11:52:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-16 11:52:09 +0200 |
| commit | 89132224a651c0e0d4121270f63decb9a678ff88 (patch) | |
| tree | 224a008705391b6e5b560d2c0426380651756383 /modules/squish/config.py | |
| parent | eb8d19ba740c11acf0f26080405fc5cd827a2d41 (diff) | |
| parent | e57042e8a93e4f3d65cc91633f5af0daedf69a2a (diff) | |
Merge pull request #6830 from akien-mga/thirdparty
Move most "drivers" as toggleable "modules" and split their thirdparty libraries in an own tree
Diffstat (limited to 'modules/squish/config.py')
| -rw-r--r-- | modules/squish/config.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/modules/squish/config.py b/modules/squish/config.py new file mode 100644 index 0000000000..d28d9c702e --- /dev/null +++ b/modules/squish/config.py @@ -0,0 +1,10 @@ + +def can_build(platform): + return True + +def configure(env): + # Tools only, disabled for non-tools + # TODO: Find a cleaner way to achieve that + if (env["tools"] == "no"): + env["module_squish_enabled"] = "no" + env.disabled_modules.append("squish") |