> I always use options INCLUDE_CONFIG_FILE for my kernel :-) Maybe we > should add it to DEFAULTS some day... never seen it before - if it does what it sounds like it does then it would be very useful! -pete.