targets/Xenomai/__init__.py
changeset 615 72bc3e53a1fa
parent 510 8038c08b9874
child 633 70c84e6ff92c
--- 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()