Add CONFIG_GENERATE_* for tables so that the user can select which tables not
[coreboot.git] / src / mainboard / technexion / tim5690 / Config.lb
index 96fe267d252b3eb81dd941620b16ee8c0f6a0de8..3e69acc0ff8a90941abaccebaf2d2794a262b271 100644 (file)
@@ -33,13 +33,13 @@ driver mainboard.o
 
 #dir /drivers/si/3114
 
-if CONFIG_HAVE_MP_TABLE object mptable.o end
-if CONFIG_HAVE_PIRQ_TABLE
+if CONFIG_GENERATE_MP_TABLE object mptable.o end
+if CONFIG_GENERATE_PIRQ_TABLE
        object get_bus_conf.o
        object irq_tables.o
 end
 
-if CONFIG_HAVE_ACPI_TABLES
+if CONFIG_GENERATE_ACPI_TABLES
        object acpi_tables.o
        object fadt.o
        makerule dsdt.c