[PATCH] devtools: set DTS directory to format check

[Juraj Linkeš]

> >
> > Good comment, I'll improve in v2.
> 
> One more thing, if we go with changing the Formatting echo, then we should
> also change the Linting echo. Or we could do it in some other place just once,
> I'm not sure which is better.
> 

I have one more request, could you add "echo 'Summary:'" before 'echo "Found $errors errors"' so that it's 100% clear what we're printing at the end (and that it's not part of the 'Linting:' output).

Thanks