On Dec 14, 2006, at 1:14 PM, Steve Ellcey wrote: >> But if you think we ought to keep it the way it is, I can probably >> come >> up with a workaround. > > I don't feel that strongly one way or the other. As someone that will probably get hit by this, I too don't mind accepting the change if autoconf wants to do it that way.