Diego Biurrun <diego at biurrun.de> writes: > 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 :) I've been meaning to do this for a long time. You provided the necessary nudge. -- M?ns Rullg?rd mans at mansr.com