I thought that src was for pristine source only. This is my
interpretation of the comment in gnumach/i386/linux/Makefile.in:
# `dev' directory contains modified and glue source files.
...
# `src' directory contains original Linux source files.
Mine is bit different, that is that `dev' is used only for things that
need Mach specific modification (modified source code that becomes
glue code).
It would be horrid that each time we change a driver a "bit", like
update it to add new PCI ID's or whatever to copy it into dev/, and
then when we say sync it with Linux, copy it back to src/.
You would also get duplicate code in both src/ and dev/, making it
hard to figure out which is which.
_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://lists.gnu.org/mailman/listinfo/bug-hurd
