changeset 1751 | c28db6f7616b |
parent 1742 | 92932cd370a4 |
child 1847 | 6198190bc121 |
--- a/targets/Xenomai/__init__.py Wed Aug 16 12:53:23 2017 +0300 +++ b/targets/Xenomai/__init__.py Wed Aug 16 12:57:52 2017 +0300 @@ -28,6 +28,7 @@ class Xenomai_target(toolchain_gcc): dlopen_prefix = "./" extension = ".so" + def getXenoConfig(self, flagsname): """ Get xeno-config from target parameters """ xeno_config = self.CTRInstance.GetTarget().getcontent().getXenoConfig()