diff options
Diffstat (limited to 'mkspecs/features/data')
| -rw-r--r-- | mkspecs/features/data/configure.json | 2 |
1 files changed, 2 insertions, 0 deletions
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" }, |