[patch] Rename CLANG_IS_PRODUCTION to CLANG_NO_PLUGIN_SUPPORT

[Tobias Grosser]

On 03/09/2014 04:08 PM, Rafael Espíndola wrote:
> The clang build has a CLANG_IS_PRODUCTION option. Historically this
> would disable features that were not ready yet (c++ for example). It
> would also disable plugins, which is an expensive feature for some
> setups.
>
> Currently the option is only used to disable plugins, so the attached
> patch renames it to CLANG_NO_PLUGIN_SUPPORT.

What about using CLANG_PLUGIN_SUPPORT? This would avoid double negations.

> On the Makefile build it also enables dead stripping in plugins are
> disabled. It looks like it was an oversight when dead stripping
> support was added.

And just out of interest. Do you have an idea how much we loose in terms 
of start up performance, due to plugin support?

Tobias