On Fri, Nov 25, 2005 at 10:27:00PM +0100, Luca Barbato wrote: > > --- configure 22 Oct 2005 19:17:39 -0000 1.215 > +++ configure 25 Nov 2005 21:16:02 -0000 > @@ -580,8 +580,6 @@ > echo "Unknown option \"$opt\"." > - echo "See $0 --help for available options." > - exit 1 This probably does not belong in the patch, right? Diego