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.

Reply via email to