--- a/targets/Xenomai/__init__.py Thu Sep 22 17:33:34 2011 +0200
+++ b/targets/Xenomai/__init__.py Thu Sep 22 17:35:29 2011 +0200
@@ -11,7 +11,7 @@
# get xeno-config from target parameters
xeno_config = self.getXenoConfig()
- status, result, err_result = ProcessLogger(self.PluginsRootInstance.logger, xeno_config + " --xeno-ldflags", no_stdout=True).spin()
+ status, result, err_result = ProcessLogger(self.PluginsRootInstance.logger, xeno_config + " --skin=native --ldflags", no_stdout=True).spin()
if status:
self.PluginsRootInstance.logger.write_error(_("Unable to get Xenomai's LDFLAGS\n"))
xeno_ldlags = result.strip()
@@ -22,7 +22,7 @@
# get xeno-config from target parameters
xeno_config = self.getXenoConfig()
- status, result, err_result = ProcessLogger(self.PluginsRootInstance.logger, xeno_config + " --xeno-cflags", no_stdout=True).spin()
+ status, result, err_result = ProcessLogger(self.PluginsRootInstance.logger, xeno_config + " --skin=native --cflags", no_stdout=True).spin()
if status:
self.PluginsRootInstance.logger.write_error(_("Unable to get Xenomai's CFLAGS\n"))
xeno_cflags = result.strip()