diff options
| author | Chris Johns <chrisj@rtems.org> | 2017-05-16 16:43:19 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2017-05-16 16:43:19 +1000 |
| commit | ed80d2c04123454cd599078f62c8d1469c5a3ebd (patch) | |
| tree | 35ac03e2fbfc5915d7d40d527bde3e714cd23ac8 | |
| parent | rtemstoolkit: Add Python INI configuration support. (diff) | |
| download | rtems-tools-ed80d2c04123454cd599078f62c8d1469c5a3ebd.tar.bz2 | |
rtemstoolkit: Add the configuration.py module to the install.
| -rw-r--r-- | rtemstoolkit/wscript | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rtemstoolkit/wscript b/rtemstoolkit/wscript index 1bf0652..3b725e4 100644 --- a/rtemstoolkit/wscript +++ b/rtemstoolkit/wscript @@ -130,6 +130,7 @@ def build(bld): source = ['__init__.py', 'check.py', 'config.py', + 'configuration.py', 'darwin.py', 'error.py', 'execute.py', |