targets/Xenomai/__init__.py
changeset 510 8038c08b9874
parent 421 c9ec111ad275
child 615 72bc3e53a1fa
equal deleted inserted replaced
509:aa5645a25d64 510:8038c08b9874
     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.getTarget().getcontent()["value"].getXenoConfig()
     8         return self.PluginsRootInstance.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