Proposal: don't install CNI headers by default

[David Daney]

Andrew Haley wrote:
> Thomas Fitzsimmons writes:
>  > Hi,
>  > 
>  > A large part of the time taken by "make install" is spent installing CNI
>  > headers.  I propose that we don't install them by default, and create an
>  > "install-cni-headers" target instead.
> 
> use make install-exec.
> 

Since it appears that there is a way for gcj developers to save time by 
using install-exec, I am against removing the header install.

We use CNI extensively and having an extra step that is subject to 
bit-rot seems like it has the potential to break things.

Just my $0.02

David Daney.