On Tue, Sep 19, 2006 at 03:28:38PM +0200, Thomas Schwinge wrote: > Michael, Richard, Samuel: thanks for the quick input. I can understand > your concerns and would like to propose adding the following to the > configure options: > > #v+ > --disable-default-device-drivers > have all device drivers disabled that can be > disabled and would otherwise have been enabled by > default; then use the `--enable-*' options to enable > only those you actually want to have enabled > #v- > > Does that sound alright?
AIUI, using this option allows us to build GNU Mach as we do now. If that's correct, then I don't mind such a change. > Another issue: I intend to remove all the device driver name aliases from > i386/linux/configure, for example morph... [...] > Any comments or objections with respect to that? No, it's fine. -- Richard Braun
signature.asc
Description: Digital signature
_______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
