Add a simple script to remove boards
authorSimon Glass <sjg@chromium.org>
Sat, 18 May 2019 16:07:17 +0000 (10:07 -0600)
committerSimon Glass <sjg@chromium.org>
Wed, 10 Jul 2019 22:52:58 +0000 (16:52 -0600)
commit00ba3b1edc74ed5515eae2d7e1f733b8516f908a
tree409c36a94e7d5dd2c173872e9de18cd9235969b7
parent9550f9acd64449a739b2db90c64e63a6269d81d8
Add a simple script to remove boards

This script attempts to create a git commit which removes a single board.
It is quite fallible and everything it does needs checking. But it can
help speed up the process.

Signed-off-by: Simon Glass <sjg@chromium.org>
Reviewed-by: Chris Packham <judge.packham@gmail.com>
tools/rmboard.py [new file with mode: 0755]