changeset 321 | 5a4e6278a18b |
parent 204 | f572ab819769 |
child 615 | 72bc3e53a1fa |
--- a/targets/Xenomai/XSD Wed Mar 11 10:41:55 2009 +0100 +++ b/targets/Xenomai/XSD Mon Mar 16 17:31:08 2009 +0100 @@ -1,7 +1,7 @@ - <xsd:element name="Xenomai"> + <xsd:element name="Xenomai"> <xsd:complexType> %(toolchain_gcc)s - <xsd:attribute name="xeno_config" type="xsd:string" use="optional" default="/usr/xenomai/"/> + <xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="/usr/xenomai/bin/xeno-config"/> </xsd:complexType> </xsd:element> \ No newline at end of file