Add CONFIG_GENERATE_* for tables so that the user can select which tables not
[coreboot.git] / src / mainboard / tyan / s2735 / Config.lb
index 9cc0bc3aea301ebf31db22ef1538f8ad3ca16b8e..c15d0917a3c7066c7eaa7a82f21146e2f33da03e 100644 (file)
@@ -10,8 +10,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
 object reset.o
 if CONFIG_USE_INIT