1. 2009-05-27 Re: how to modify configure? autoconf Eric Blake 2. 2009-05-26 Re: how to modify configure? autoconf Ralf Wildenhues 3. 2009-05-26 Re: how to modify configure? autoconf Eric Blake 4. 2009-05-26 how to modify configure? autoconf Péntek_Imre