targets/Xenomai/__init__.py
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()