diff options
Diffstat (limited to 'mkspecs/features/data/configure.json')
| -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 a937f79b99..20a83025e6 100644 --- a/mkspecs/features/data/configure.json +++ b/mkspecs/features/data/configure.json @@ -9,6 +9,8 @@ "recheck": { "type": "void", "name": "cache_use", "value": "positive" }, "recheck-all": { "type": "void", "name": "cache_use", "value": "none" }, + + "redo": { "type": "redo" } } }, |