changeset 635 | fcdb60cacb2c |
parent 634 | 5b925a1d8fed |
child 642 | cd7ccbbbf471 |
--- a/targets/Xenomai/__init__.py Wed Nov 16 17:12:16 2011 +0100 +++ b/targets/Xenomai/__init__.py Wed Nov 16 17:47:13 2011 +0100 @@ -21,5 +21,5 @@ def getBuilderCFLAGS(self): xeno_cflags = self.getXenoConfig("cflags") - return toolchain_gcc.getBuilderCFLAGS(self) + xeno_cflags + return toolchain_gcc.getBuilderCFLAGS(self) + xeno_cflags + ["-fPIC"]