In message <87bqx49xvu.fsf@quark.mobile.fnop.net>, Rui Paulo writes:
>"Steven M. Bellovin" <smb@cs.columbia.edu> writes:
>
>> in fact, I'd really like it if I didn't have to 
>> keep my kernel configs in sys/arch/i386/conf, so I could safely wipe 
>> out and replace my entire source tree as needed.)
>
>Hmm. AFAIK, you don't have to. Using build.sh, you can do
>'kernel=/home/bla/HELLO'.
>

That's welcome news indeed -- I'll convert my infrastructure shortly.  
Thanks.

		--Steven M. Bellovin, http://www.cs.columbia.edu/~smb