Re: [PATCH] Remove any optional headers
On Tuesday, 16 December 2008 at 14:14, Erik Hovland wrote:
> > Anyway - how certain are you that those headers *never* provide useful
> > symbols?
>
> I am not certain at all that they are *never* useful. In fact, all I
> know is that they
> are not useful on RHEL 5.2 (my build platform).
>
> The patch is meant to provide a starting point for cleaning up the headers and
> not the end of the road. But I can understand if the group at large is
> interested
> in a more finished patch product.
I think we'll probably defer anything which has uncertain effects on
portability until the start of the next dev cycle, so there's more
time to work out the kinks.