Add CONFIG_GENERATE_* for tables so that the user can select which tables not

[coreboot.git] / src / mainboard / tyan / s4880 / Config.lb

diff --git a/src/mainboard/tyan/s4880/Config.lb b/src/mainboard/tyan/s4880/Config.lb
index c85db4b9b2bd4f42416f48525d6cb569456e5dda..1838733d7ccb17ed88cd3c24d32dafc132ad9b44 100644 (file)
--- a/src/mainboard/tyan/s4880/Config.lb
+++ b/src/mainboard/tyan/s4880/Config.lb
@@ -11,8 +11,8 @@ arch i386 end
 ##
 
 driver mainboard.o
-if CONFIG_HAVE_MP_TABLE object mptable.o end
-if CONFIG_HAVE_PIRQ_TABLE object irq_tables.o end
+if CONFIG_GENERATE_MP_TABLE object mptable.o end
+if CONFIG_GENERATE_PIRQ_TABLE object irq_tables.o end
 
        if CONFIG_USE_INIT