diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-09-17 22:38:32 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-09-17 22:38:32 +0000 |
| commit | 747c97106c6a6f8f8718b4b5ddfd61f505f3bf5f (patch) | |
| tree | e652c33b7a5fda27264e459d108c542a6ebd4f9e /src | |
| parent | fe8daeac0ccff8e9b2a88f599b15f16f1f6fbfba (diff) | |
speed up option-file generation on Mac OS by an order of magnitude
Diffstat (limited to 'src')
| -rwxr-xr-x | src/options/mkoptions | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/options/mkoptions b/src/options/mkoptions index 500f5373f..a7c792692 100755 --- a/src/options/mkoptions +++ b/src/options/mkoptions @@ -1227,13 +1227,18 @@ long_option_value_end=$n_long text=$(cat "$template") for var in \ + smt_getoption_handlers \ + smt_setoption_handlers \ + long_option_value_begin \ + long_option_value_end \ + template \ + option_handler_includes \ all_modules_defaults \ all_modules_short_options \ all_modules_long_options \ all_modules_option_handlers \ include_all_option_headers \ all_modules_contributions \ - option_handler_includes \ all_custom_handlers \ common_documentation \ remaining_documentation \ @@ -1241,11 +1246,6 @@ for var in \ remaining_manpage_documentation \ common_manpage_smt_documentation \ remaining_manpage_smt_documentation \ - smt_getoption_handlers \ - smt_setoption_handlers \ - long_option_value_begin \ - long_option_value_end \ - template \ ; do eval text="\${text//\\\$\\{$var\\}/\${$var}}" done |