Hi >> do we need a command line option for this or should we rather use a >> configure option? I think the latter would be a nicer way to go, since >> there is really no need for the user to change this or is there? > > Well, I was just honoring Byrial's request. If you know how to do it with a > configure option, feel free to revert the commit or patch it further.
won't have time for that at the moment.
cheers
ARUN
