K 10 svn:author V 5 peter K 8 svn:date V 27 2001-01-29T09:34:43.000000Z K 7 svn:log V 288 I confess. This is a truely nasty hack. I am so ashamed! (I think config(8) source does bad things to your brain :-) Clean up likely stray *.h files in the build directory. Eg: if isa.h ceases being generated, zap it. The heuristics to figure out a 'likely' file are pretty revolting. END