From 747c97106c6a6f8f8718b4b5ddfd61f505f3bf5f Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 17 Sep 2012 22:38:32 +0000
Subject: [PATCH] speed up option-file generation on Mac OS by an order of
 magnitude

---
 src/options/mkoptions | 12 ++++++------
 1 file 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
-- 
2.30.2