On Tue, Mar 25, 2008 at 11:51:44PM +0100, mru wrote: > > Log: > combine setting of various configure command line options That's what I was aiming for, nice work :) Diego