Re: disallow direct inclussion of <linux/*.h>

[Roland McGrath]

Such header changes are just never going to happen, for many reasons.  But
accept it.  The way to move forward is to look for other solutions to help
people avoid writing needless implementation dependencies into their
packages.  One straightforward idea is a tool to examine the header use in
source code or as part of a build, and flag nonportable header file names.
On debian-hurd it would be appropriate to discuss making such a tool part
of all standard debian builds so that making a package included flagging
these header file build dependencies implicitly, and then automating the
process of harrassing people whose packages have unnecessary build
dependencies.