diff options
| author | Simon Glass <[email protected]> | 2022-07-11 19:04:10 -0600 |
|---|---|---|
| committer | Tom Rini <[email protected]> | 2022-08-05 11:47:56 -0400 |
| commit | 811c8e17117880badf0ea218dda44c06a3e02a2e (patch) | |
| tree | 41ec05530660890cc3f7f2fa91560a5532d13bbe /scripts | |
| parent | 7ae8a5270ab61a33f27a8cddec658078d5cf7fe5 (diff) | |
Drop genboardscfg.py
Now that buildman can generate this with the -R option, drop the script.
Signed-off-by: Simon Glass <[email protected]>
Suggested-by: Tom Rini <[email protected]>
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/pylint.base | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/pylint.base b/scripts/pylint.base index 9ebebf47ab9..dd6360e6256 100644 --- a/scripts/pylint.base +++ b/scripts/pylint.base @@ -201,7 +201,6 @@ tools_dtoc_test_fdt 6.88 tools_dtoc_test_src_scan 9.43 tools_efivar 6.71 tools_endian-swap 9.29 -tools_genboardscfg 7.95 tools_microcode-tool 7.25 tools_moveconfig 8.34 tools_patman___init__ 0.00 |