On Tue, Jun 16, 2009 at 12:12:23AM +0200, mru wrote: > > Log: > Add "config" make target to rerun configure with old options You beat me to it, I had toyed with the idea of adding such a target. Diego