On Mon, Jun 14, 2010 at 5:52 PM, Michael Hanselmann <[email protected]> wrote: > It's easy to forget to add a new directory to DIRS. This check should > report such inconsistencies. > > Signed-off-by: Michael Hanselmann <[email protected]>
LGTM Thanks, Guido
