targets/Xenomai/__init__.py
changeset 635 fcdb60cacb2c
parent 634 5b925a1d8fed
child 642 cd7ccbbbf471
equal deleted inserted replaced
634:5b925a1d8fed 635:fcdb60cacb2c
    19         xeno_ldflags = self.getXenoConfig("ldflags")
    19         xeno_ldflags = self.getXenoConfig("ldflags")
    20         return toolchain_gcc.getBuilderLDFLAGS(self) + xeno_ldflags + ["-shared"]
    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 + ["-fPIC"]
    25         
    25