diff -r 36e4aedd5663 -r 41981a23aff8 src/main/resources/make/uwproj.xsd --- a/src/main/resources/make/uwproj.xsd Mon Sep 23 22:52:48 2024 +0200 +++ b/src/main/resources/make/uwproj.xsd Tue Sep 24 21:49:50 2024 +0200 @@ -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. +

+ +