diff -r 0e1bf3c199bf -r a8a5f3dd5c3d make/uwproj.xsd --- a/make/uwproj.xsd Thu Oct 31 12:15:45 2024 +0100 +++ b/make/uwproj.xsd Thu Oct 31 13:24:39 2024 +0100 @@ -17,7 +17,7 @@ - + @@ -26,13 +26,23 @@ - The configuration section. - Consists of an arbitrary number of var elements. +

+ The configuration section. + Consists of an arbitrary number of var elements. +

+

+ The optional platform attribute may specify a single platform identifier and + the optional not attribute may specify a comma-separated list of platform identifiers. + The configure script shall skip this config declaration if the detected platform is not matching + the filter specification of these attributes. +

+ +
@@ -195,11 +205,11 @@ + -