>I think we should make this an error. It should be pretty easy for >whoever makes changes to configure.in to also include a patch for >configure. i don't think so. it is not trivial to maintain patches to configure. sometimes maintenance cost is too high. itojun