Add CONFIG_GENERATE_* for tables so that the user can select which tables not
[coreboot.git] / src / mainboard / gigabyte / ga_2761gxdk / Config.lb
index 104ace034d1144b7425216f9dfa788b8849ffe17..1cb39c685df991c6aadf2bd5cbe5da15374f6e97 100644 (file)
@@ -35,8 +35,8 @@ driver mainboard.o
 #needed by irq_tables and mptable and acpi_tables
 object get_bus_conf.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