Add CONFIG_GENERATE_* for tables so that the user can select which tables not
[coreboot.git] / src / mainboard / gigabyte / m57sli / Config.lb
index d3289427c0c55732d3cadf9b7eb5f6a50093df78..6d5a13fb5c674aa4be8a8bc63b39d3b3ac2cf2a8 100644 (file)
@@ -33,8 +33,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      
@@ -166,7 +166,7 @@ end
 ##
 ## ACPI Support
 ##
-if CONFIG_HAVE_ACPI_TABLES
+if CONFIG_GENERATE_ACPI_TABLES
        object acpi_tables.o
        makerule dsdt.c
                depends "$(CONFIG_MAINBOARD)/dsdt.asl"