RFC: Removing --enable-win32-registry?

[E. Weddington]

On 7 Apr 2004 at 14:03, Nathanael Nerode wrote:

> This seems to be an essentially unused option.  Removing it would
> allow for some serious cleanup of prefix.c (which currently has annoying
> little bugs like #9968).
> 
> It's enabled by default on these hosts:
> win32 -- host not supported any more
> pe -- most developers seem to --disable it
> cygwin* -- the cygwin developers generally appear to --disable it
> mingw32* -- all the mingw32 developers seem to --disable it
> uwin* -- not usable as a host for GCC
> 
> So, can I pull it out by the roots, or does someone still use it?
> 

Can you explain a little more about how it's supposed to work?

Yes, I've read: <http://gcc.gnu.org/install/configure.html>

What I don't understand is whether it's supposed to look up the registry key 
*at the time of installing gcc, i.e. at 'make install'*, or whether it means 
that it looks up the registry key when gcc *executes*. 

Thanks
Eric