woods@weird.com (Greg A. Woods) writes:
>and of course their [opt_XXX.h files] contents will only
>change if an option they contain was changed).

I don't think that config(8) handles that part, i.e. all opt_XXX.h files
(for a given kernel configuration) get modified when you run config.


-- 
Christoph Badura

Now available in print: Lion's Commentary on UNIX 6th Edition, with Source Code
			http://www.peer-to-peer.com/