diff --git a/etc/xsd/TPD.xsd b/etc/xsd/TPD.xsd index 642563846693057b905ef076631b4c1050f9324d..d373054cc51cbce7e27a183796b3959296ac265f 100644 --- a/etc/xsd/TPD.xsd +++ b/etc/xsd/TPD.xsd @@ -141,6 +141,7 @@ <xs:element name="enableRealtimeTesting" minOccurs="0" maxOccurs="1" type="xs:boolean" /> <xs:element name="namingRules" minOccurs="0" maxOccurs="1" type="xs:normalizedString" /> <xs:element name="disableSubtypeChecking" minOccurs="0" maxOccurs="1" type="xs:boolean" /> + <xs:element name="forceGenSeof" minOccurs="0" maxOccurs="1" type="xs:boolean" /> <xs:element name="CxxCompiler" minOccurs="0" maxOccurs="1" type="xs:normalizedString" /> <xs:element name="optimizationLevel" minOccurs="0" maxOccurs="1" type="xs:normalizedString" /> <xs:element name="otherOptimizationFlags" minOccurs="0" maxOccurs="1" type="xs:string" />