targets/Xenomai/__init__.py
changeset 411 8261c8f1e365
parent 361 331d698e1118
child 421 c9ec111ad275
equal deleted inserted replaced
410:092e33606e51 411:8261c8f1e365
     3 
     3 
     4 class Xenomai_target(toolchain_gcc):
     4 class Xenomai_target(toolchain_gcc):
     5     extension = ".so"
     5     extension = ".so"
     6     def getXenoConfig(self):
     6     def getXenoConfig(self):
     7         """ Get xeno-config from target parameters """
     7         """ Get xeno-config from target parameters """
     8         return self.PluginsRootInstance.BeremizRoot.getTargetType().getcontent()["value"].getXenoConfig()
     8         return self.getTarget().getcontent()["value"].getXenoConfig()
     9     
     9     
    10     def getBuilderLDFLAGS(self):
    10     def getBuilderLDFLAGS(self):
    11         # get xeno-config from target parameters
    11         # get xeno-config from target parameters
    12         xeno_config = self.getXenoConfig()
    12         xeno_config = self.getXenoConfig()
    13 
    13