Re: patch for mergemaster when /dev is devfs

2000-08-23 Thread Doug Barton
On Wed, 23 Aug 2000, Ben Smithurst wrote: > Or would you prefer that this be made an option like IGNORE_DEV or > IGNORE_MAKEDEV or something? If you'd prefer that I can probably create > an appropriate patch, but this route seems more sensible to me, since no > config change will be needed if I

patch for mergemaster when /dev is devfs

2000-08-23 Thread Ben Smithurst
Just a minor point... Should we add a patch something like this to mergemaster so that it doesn't prompt the user about MAKEDEV if their /dev is a devfs where MAKEDEV can't be created anyway? Or would you prefer that this be made an option like IGNORE_DEV or IGNORE_MAKEDEV or something? If you'