diff -r 5706694c17c4 -r d89b75fdf0aa test/make/uwproj.xsd
--- a/test/make/uwproj.xsd Tue Nov 12 16:53:27 2024 +0100
+++ b/test/make/uwproj.xsd Tue Nov 12 17:00:51 2024 +0100
@@ -196,6 +196,9 @@
dependencies
are satisfied.
If a feature is enabled, all define
and make
definitions are
supposed to be applied to the config file.
+ If a feature is disabled, an optional disabled
element may specify which
+ define
and make
definitions are supposed to be applied.
+ There might also be dependencies
when the feature is disabled (e.g. specifying a fallback).
In case the optional default
attribute is set to true, the feature is enabled by default
and is supposed to be automatically disabled (without error) when the dependencies are not satisfied.
The name that is supposed to be used for the --enable and --disable arguments can be optionally
@@ -207,6 +210,13 @@
+
+
+
+
+
+
+