I would suggest that smoke scripts all do make regen_headers before smoking not to 
report trivial header file mixups. Or because you got a snapshot inbetween a patch and 
a make regen_header submit to the repository.

Arthur

Reply via email to