Enhancement: Update schema.json

ergebnis · Jul 20, 2024 · 9308020 · 9308020
1 parent 9ee0870
commit 9308020
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/resource/schema.json b/resource/schema.json
@@ -380,6 +380,12 @@
                                 "example": "without-xdebug-compression",
                                 "pattern": "^[a-zA-Z0-9][a-zA-Z0-9-_]*$"
                             },
+                            "needs-value": {
+                                "type": "boolean",
+                                "description": "If this is set to true, the flag needs a value (e.g. --with-somelib=<path>), otherwise it is a flag without a value (e.g. --enable-some-feature).",
+                                "example": false,
+                                "default": false
+                            },
                             "description": {
                                 "type": "string",
                                 "description": "The description of what the flag does or means.",