diff options
Diffstat (limited to 'build/env.py')
| -rw-r--r-- | build/env.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/env.py b/build/env.py index 082195d..46d069c 100644 --- a/build/env.py +++ b/build/env.py @@ -11,6 +11,7 @@ env = Environment( 'tool_firmware', 'tool_jinja2', 'tool_platform_spec', + 'tool_protonium', ], ) |