diff options
| author | Masahiro Yamada <yamada.masahiro@socionext.com> | 2016-08-22 22:18:20 +0900 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2016-09-06 13:18:20 -0400 |
| commit | 09c6c06688d0042872a2eba3b19862d74d2f4a8a (patch) | |
| tree | 20eab126dbe4edb093fa016696709faacf6efd05 /disk | |
| parent | e1a996267f3603e2d079ec8423682398a0d915c0 (diff) | |
tools: moveconfig: use sets instead of lists for failed/suspicious boards
The sets feature is handier for adding unique elements.
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
Acked-by: Joe Hershberger <joe.hershberger@ni.com>
Diffstat (limited to 'disk')
0 files changed, 0 insertions, 0 deletions