diff options
Diffstat (limited to 'lib/priority_options.gperf')
| -rw-r--r-- | lib/priority_options.gperf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/priority_options.gperf b/lib/priority_options.gperf index 44968d4327..a955ec85e6 100644 --- a/lib/priority_options.gperf +++ b/lib/priority_options.gperf @@ -10,6 +10,7 @@ DUMBFW, enable_dumbfw NO_EXTENSIONS, enable_no_extensions NO_TICKETS, enable_no_tickets NO_ETM, enable_no_etm +FORCE_ETM, enable_force_etm NO_SESSION_HASH, enable_no_ext_master_secret STATELESS_COMPRESSION, dummy_func VERIFY_ALLOW_BROKEN, enable_verify_allow_broken |