diff -r 70c84e6ff92c -r 5b925a1d8fed targets/Xenomai/__init__.py
--- a/targets/Xenomai/__init__.py	Wed Nov 16 12:50:16 2011 +0100
+++ b/targets/Xenomai/__init__.py	Wed Nov 16 17:12:16 2011 +0100
@@ -17,7 +17,7 @@
     
     def getBuilderLDFLAGS(self):
         xeno_ldflags = self.getXenoConfig("ldflags")
-        return toolchain_gcc.getBuilderLDFLAGS(self) + xeno_ldlags + ["-shared", "-lnative"]
+        return toolchain_gcc.getBuilderLDFLAGS(self) + xeno_ldflags + ["-shared"]
 
     def getBuilderCFLAGS(self):
         xeno_cflags = self.getXenoConfig("cflags")