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.
]]
},
{