diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-07-27 14:54:06 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-27 14:54:06 -0700 |
commit | 4d352cb642ef943215711411db7f6f16522b3688 (patch) | |
tree | b19f8350c326faca63f38c89c58c67956a4f9dfb /src/options/main_options.toml | |
parent | 3c8ede75a164a884c115a648ef15fa66823f339e (diff) |
Require argument description for non-{bool,void} options. (#2228)
Not adding the argument description for non-{bool,void} options is now an error.
Further, adds missing argument descriptions.
Diffstat (limited to 'src/options/main_options.toml')
-rw-r--r-- | src/options/main_options.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/main_options.toml b/src/options/main_options.toml index 42453a92c..9f75e9426 100644 --- a/src/options/main_options.toml +++ b/src/options/main_options.toml @@ -47,7 +47,7 @@ header = "options/main_options.h" name = "seed" category = "common" short = "s" - long = "seed" + long = "seed=N" type = "uint64_t" default = "0" read_only = true |