Re: [PATCH master] Makefile: Add check for DIRS consistency

[Guido Trotter]

On Mon, Jun 14, 2010 at 5:52 PM, Michael Hanselmann <han...@google.com> wrote:
> It's easy to forget to add a new directory to DIRS. This check should
> report such inconsistencies.
>
> Signed-off-by: Michael Hanselmann <han...@google.com>

LGTM

Thanks,

Guido