mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-07 01:41:45 +00:00
Fix usb_storage.run for non-PC platforms
On non-PC platforms, the variable 'build' remains undefined, which lets the 'build $build' step fail. Use the traditional 'build_components' variable instead. As a further plus, this avoids multiple passes of the build system.
This commit is contained in:
parent
9f3c4c227e
commit
33305dd08d
@ -8,19 +8,19 @@
|
|||||||
# Build
|
# Build
|
||||||
#
|
#
|
||||||
|
|
||||||
build {
|
set build_components {
|
||||||
core init
|
core init
|
||||||
drivers/timer
|
drivers/timer
|
||||||
drivers/usb
|
drivers/usb
|
||||||
test/block
|
test/block
|
||||||
}
|
}
|
||||||
|
|
||||||
lappend_if [have_spec acpi] build drivers/acpi
|
lappend_if [have_spec acpi] build_components drivers/acpi
|
||||||
lappend_if [have_spec pci] build drivers/pci
|
lappend_if [have_spec pci] build_components drivers/pci
|
||||||
lappend_if [have_spec pci] build drivers/pci/device_pd
|
lappend_if [have_spec pci] build_components drivers/pci/device_pd
|
||||||
lappend_if [have_spec platform_arndale] build drivers/platform
|
lappend_if [have_spec platform_arndale] build_components drivers/platform
|
||||||
|
|
||||||
build $build
|
build $build_components
|
||||||
|
|
||||||
create_boot_directory
|
create_boot_directory
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user