Am Mittwoch, 12. Mai 2004 15:41 schrieb Fabien COELHO:
> > make install-all-headers
>
> Good, but not enough?
>
> I still argue that it should be done "by default"

I agree, but this is not a bug, it is a deliberate design decision.  If you 
want to change it, argue about it on -hackers.

---------------------------(end of broadcast)---------------------------
TIP 8: explain analyze is your friend

Reply via email to