| commit | 51ac600d291a3c94a4df8d086b5d0b230e560b6b | [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 | 167afc9a04a7dd3c4d96f5567087b6418ac38b7b [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>