On Fri, Jun 10, 2005 at 05:21:25AM -0400, Erik Jan Tromp wrote: > If it's a question of which end to change, I would find this option > being per module much more useful. Yes, that's indeed more useful, so I just checked in a change to make the option have a per-module value. Thanks, ..wayne..