2016-10-11 20:44:26 +02:00
|
|
|
|
|
|
|
def can_build(platform):
|
2016-10-30 18:44:57 +01:00
|
|
|
return True
|
2016-10-11 20:44:26 +02:00
|
|
|
|
2016-10-30 19:05:14 +01:00
|
|
|
|
2016-10-11 20:44:26 +02:00
|
|
|
def configure(env):
|
2017-06-30 18:14:59 +02:00
|
|
|
# Tools only, disabled for non-tools
|
|
|
|
# TODO: Find a cleaner way to achieve that
|
|
|
|
if (env["tools"] == "no"):
|
|
|
|
env["module_etc_enabled"] = "no"
|
|
|
|
env.disabled_modules.append("etc")
|