summaryrefslogtreecommitdiff
path: root/dist/flags.py
diff options
context:
space:
mode:
Diffstat (limited to 'dist/flags.py')
-rw-r--r--dist/flags.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/flags.py b/dist/flags.py
index 320bd8f6fb9..70e18712839 100644
--- a/dist/flags.py
+++ b/dist/flags.py
@@ -76,6 +76,7 @@ flags = {
'VERB_REBALANCE',
'VERB_RECONCILE',
'VERB_RECOVERY',
+ 'VERB_RECOVERY_PROGRESS',
'VERB_SALVAGE',
'VERB_SHARED_CACHE',
'VERB_SPLIT',