diff options
| -rw-r--r-- | configure.json | 1 | ||||
| -rw-r--r-- | mkspecs/features/data/configure.json | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/configure.json b/configure.json index 5a5536936a..92b6f659ad 100644 --- a/configure.json +++ b/configure.json @@ -64,7 +64,6 @@ "commercial": "void", "compile-examples": { "type": "boolean", "name": "compile_examples" }, "confirm-license": "void", - "continue": "void", "dbus": { "type": "optionalString", "values": [ "no", "yes", "linked", "runtime" ] }, "dbus-linked": { "type": "void", "name": "dbus", "value": "linked" }, "dbus-runtime": { "type": "void", "name": "dbus", "value": "runtime" }, diff --git a/mkspecs/features/data/configure.json b/mkspecs/features/data/configure.json index 20a83025e6..8e5ff5f0a4 100644 --- a/mkspecs/features/data/configure.json +++ b/mkspecs/features/data/configure.json @@ -7,6 +7,8 @@ "v": { "type": "enum", "name": "verbose", "values": { "yes": "true", "no": "false" } }, "verbose": { "type": "enum", "values": { "yes": "true", "no": "false" } }, + "continue": "void", + "recheck": { "type": "void", "name": "cache_use", "value": "positive" }, "recheck-all": { "type": "void", "name": "cache_use", "value": "none" }, |