pch support

[chaz/yoink] / options.lua

diff --git a/options.lua b/options.lua
index 4839144d99f97a9ca19c30b40c6ecf39645a4bd5..429c5b8ef577033c5535e347b9b922928cc213d8 100644 (file)
--- a/options.lua
+++ b/options.lua
@@ -294,6 +294,19 @@ rebuilt when you run make.  This may add some overhead
 to the build process.
 
 If in doubt, say Yes.
+]]
+               },
+               {
+                       symbol  = "pch",
+                       value   = false,
+                       cmdline = "--enable-pch",
+                       name    = "Use Precompiled Header",
+                       caption = "Enable building and using a precompiled header.",
+                       help    = [[
+Recent versions of GCC can use precompiled headers
+which may improve compile times.
+
+If in doubt, say No.
 ]]
                },
                {