targets/Xenomai/XSD
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Mon, 13 Aug 2018 18:19:17 +0300
changeset 2282 73f95ba6d3af
parent 615 72bc3e53a1fa
permissions -rwxr-xr-x
Rename extension instance 'wxHMI' to 'wxglade_hmi'

It is necessary because of following commit 7f59aa398669 ('WxGlade HMI extension now does
only instanciate wx object who's name match extension's name. If no
object match the name and no code is provided in 'start' user python
code section, then a warning is issued')
203
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     1
321
5a4e6278a18b Adding support for Xenomai targets.
lbessard
parents: 204
diff changeset
     2
                  <xsd:element name="Xenomai">
203
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     3
                    <xsd:complexType>
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     4
                      %(toolchain_gcc)s
615
72bc3e53a1fa Xenomai Fix : build
Edouard Tisserant
parents: 321
diff changeset
     5
                      <xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="xeno-config"/>
203
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     6
                    </xsd:complexType>
615
72bc3e53a1fa Xenomai Fix : build
Edouard Tisserant
parents: 321
diff changeset
     7
                  </xsd:element>