diff options
author | Thomas Huth <thuth@redhat.com> | 2018-01-16 13:15:57 +0100 |
---|---|---|
committer | David Gibson <david@gibson.dropbear.id.au> | 2018-01-20 17:09:39 +1100 |
commit | f8567a11fb63d62644dfdf1e8ca34a5b3235046f (patch) | |
tree | c66c1138c2e770bfcae844de63e77c13d9110c0a /target/ppc | |
parent | 70218555a334c2ec2aedf0ae8dc8a6f83dc82714 (diff) |
hw/ppc/Makefile: Add a way to disable the PPC4xx boards
We've got the config switch CONFIG_PPC4XX, so we should use it
in the Makefile accordingly and only include the PPC4xx boards
if this switch has been enabled. (Note: Unfortunately, the files
ppc4xx_devs.c and ppc405_uc.c still have to be included in the
build anyway to fulfil some complicated linker dependencies ...
so these are subject to a more thourough clean-up later)
Signed-off-by: Thomas Huth <thuth@redhat.com>
Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
Diffstat (limited to 'target/ppc')
0 files changed, 0 insertions, 0 deletions