Re: [PATCH 0/3] Improvements to make-check-all.sh and check-all-boards

Tom Tromey <[email protected]> writes:

>>>>>> "Andrew" == Andrew Burgess <[email protected]> writes:
>
> Andrew> Some minor improvements to the 'make check-all-boards' rule and the
> Andrew> underlying make-check-all.sh script.
>
> These all seem fine to me, thank you.
> Approved-By: Tom Tromey <[email protected]>

Pushed.

Thanks,
Andrew