| commit | 47a1b3f446de751ce9cacf57d43681ea43402ea4 | [log] [tgz] |
|---|---|---|
| author | Mario Six <mario.six@gdsys.cc> | Mon Jan 21 09:17:50 2019 +0100 |
| committer | Mario Six <mario.six@gdsys.cc> | Tue May 21 07:51:40 2019 +0200 |
| tree | 29d07ec4c9096a5cc6adb0059f9c57057e1cf07f | |
| parent | 897c82ae91c9f31479332aecc0e9fc4832b0823c [diff] |
MPC837XERDB: Remove CONFIG_MPC837XERDB CONFIG_MPC837XERDB is unused, and TARGET_MPC837XERDB could replace it. Hence, get rid of CONFIG_MPC837XERDB. Signed-off-by: Mario Six <mario.six@gdsys.cc>