targets/Xenomai/__init__.py
changeset 634 5b925a1d8fed
parent 633 70c84e6ff92c
child 635 fcdb60cacb2c
equal deleted inserted replaced
633:70c84e6ff92c 634:5b925a1d8fed
    15             return [result.strip()]
    15             return [result.strip()]
    16         return []
    16         return []
    17     
    17     
    18     def getBuilderLDFLAGS(self):
    18     def getBuilderLDFLAGS(self):
    19         xeno_ldflags = self.getXenoConfig("ldflags")
    19         xeno_ldflags = self.getXenoConfig("ldflags")
    20         return toolchain_gcc.getBuilderLDFLAGS(self) + xeno_ldlags + ["-shared", "-lnative"]
    20         return toolchain_gcc.getBuilderLDFLAGS(self) + xeno_ldflags + ["-shared"]
    21 
    21 
    22     def getBuilderCFLAGS(self):
    22     def getBuilderCFLAGS(self):
    23         xeno_cflags = self.getXenoConfig("cflags")
    23         xeno_cflags = self.getXenoConfig("cflags")
    24         return toolchain_gcc.getBuilderCFLAGS(self) + xeno_cflags
    24         return toolchain_gcc.getBuilderCFLAGS(self) + xeno_cflags
    25         
    25