diff --git a/repos/dde_linux/run/usb_hid.run b/repos/dde_linux/run/usb_hid.run index 6b936783ba..714d55d747 100644 --- a/repos/dde_linux/run/usb_hid.run +++ b/repos/dde_linux/run/usb_hid.run @@ -57,7 +57,7 @@ append_if [have_spec gpio] config { append_if [have_spec acpi] config { - + @@ -71,7 +71,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/dde_linux/run/usb_net.run b/repos/dde_linux/run/usb_net.run index 1534743fe9..c30777b4b3 100644 --- a/repos/dde_linux/run/usb_net.run +++ b/repos/dde_linux/run/usb_net.run @@ -72,7 +72,7 @@ set config { append_if [have_spec acpi] config { - + @@ -99,7 +99,7 @@ append_if [have_spec gpio] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/dde_linux/run/usb_storage.run b/repos/dde_linux/run/usb_storage.run index 41a3454443..6a9e1298b6 100644 --- a/repos/dde_linux/run/usb_storage.run +++ b/repos/dde_linux/run/usb_storage.run @@ -50,7 +50,7 @@ set config { append_if [have_spec acpi] config { - + @@ -64,7 +64,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/dde_linux/run/wifi.run b/repos/dde_linux/run/wifi.run index d1220be190..acc2c47d63 100644 --- a/repos/dde_linux/run/wifi.run +++ b/repos/dde_linux/run/wifi.run @@ -88,7 +88,7 @@ network={ append_if [have_spec acpi] config { - + @@ -115,7 +115,7 @@ append_if [have_spec gpio] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/dde_oss/run/oss.run b/repos/dde_oss/run/oss.run index b7ca014c92..2d2ed64d26 100644 --- a/repos/dde_oss/run/oss.run +++ b/repos/dde_oss/run/oss.run @@ -46,7 +46,7 @@ append config { - + diff --git a/repos/gems/run/http_blk.run b/repos/gems/run/http_blk.run index ac1c75fda2..74cab207d4 100644 --- a/repos/gems/run/http_blk.run +++ b/repos/gems/run/http_blk.run @@ -92,7 +92,7 @@ append_if $use_nic_driver config { append_if [have_spec acpi] config { - + @@ -106,7 +106,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/gems/run/tcp_terminal.run b/repos/gems/run/tcp_terminal.run index 6dc2e618fa..63bc43bd01 100644 --- a/repos/gems/run/tcp_terminal.run +++ b/repos/gems/run/tcp_terminal.run @@ -76,7 +76,7 @@ set config { append_if [have_spec acpi] config { - + @@ -91,7 +91,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/libports/run/avplay.run b/repos/libports/run/avplay.run index cf34acecd4..d71b23a04a 100644 --- a/repos/libports/run/avplay.run +++ b/repos/libports/run/avplay.run @@ -57,7 +57,7 @@ append_if [have_spec sdl] config { append_if [have_spec acpi] config { - + @@ -71,7 +71,7 @@ append_if [have_spec acpi] config { append_if [expr [have_spec pci] && ![have_spec acpi]] config { - + diff --git a/repos/libports/run/http_srv_tracing.run b/repos/libports/run/http_srv_tracing.run index bd456a1713..5588d9bbb3 100644 --- a/repos/libports/run/http_srv_tracing.run +++ b/repos/libports/run/http_srv_tracing.run @@ -77,7 +77,7 @@ set config { append_if [have_spec acpi] config { - + @@ -91,7 +91,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/libports/run/libc_block.run b/repos/libports/run/libc_block.run index 3fad4fd390..b6d22ee0ca 100644 --- a/repos/libports/run/libc_block.run +++ b/repos/libports/run/libc_block.run @@ -90,7 +90,7 @@ set config { append_if [have_spec acpi] config { - + @@ -104,7 +104,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/libports/run/libc_ffat_fs.run b/repos/libports/run/libc_ffat_fs.run index d4b26fcd74..ef5cea7e5b 100644 --- a/repos/libports/run/libc_ffat_fs.run +++ b/repos/libports/run/libc_ffat_fs.run @@ -78,7 +78,7 @@ set config { append_if [have_spec acpi] config { - + @@ -92,7 +92,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/libports/run/libc_filesystem_test.inc b/repos/libports/run/libc_filesystem_test.inc index 71996ea56f..9e26026ea7 100644 --- a/repos/libports/run/libc_filesystem_test.inc +++ b/repos/libports/run/libc_filesystem_test.inc @@ -119,7 +119,7 @@ append config { append_if [have_spec acpi] config { - + @@ -133,7 +133,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/libports/run/lwip.run b/repos/libports/run/lwip.run index 25d3134404..103a991f51 100644 --- a/repos/libports/run/lwip.run +++ b/repos/libports/run/lwip.run @@ -122,7 +122,7 @@ append_if $use_nic_driver config { append_if [have_spec acpi] config { - + @@ -136,7 +136,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/libports/run/network_test.inc b/repos/libports/run/network_test.inc index ca4eef25a0..568d15b907 100644 --- a/repos/libports/run/network_test.inc +++ b/repos/libports/run/network_test.inc @@ -119,7 +119,7 @@ append_if [expr ![have_spec omap4] && ![have_spec exynos5]] config { append_if [have_spec acpi] config { - + @@ -133,7 +133,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/libports/run/qt5_drivers.inc b/repos/libports/run/qt5_drivers.inc index ed157698c3..6acce9033e 100644 --- a/repos/libports/run/qt5_drivers.inc +++ b/repos/libports/run/qt5_drivers.inc @@ -123,7 +123,7 @@ proc drivers_start_nodes { feature_arg } { append_if [use_acpi_drv feature] start_nodes { - + @@ -177,7 +177,7 @@ proc drivers_start_nodes { feature_arg } { append_if [expr [use_pci_drv feature] && ![use_acpi_drv feature]] start_nodes { - + } diff --git a/repos/os/run/ahci.run b/repos/os/run/ahci.run index bb69546f12..97caf28299 100644 --- a/repos/os/run/ahci.run +++ b/repos/os/run/ahci.run @@ -49,7 +49,7 @@ append_if [have_spec exynos5] config { append_if [have_spec acpi] config { - + @@ -63,7 +63,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/os/run/ahci_bench.run b/repos/os/run/ahci_bench.run index 0de83623aa..378809db61 100644 --- a/repos/os/run/ahci_bench.run +++ b/repos/os/run/ahci_bench.run @@ -71,7 +71,7 @@ append_if [expr ![have_spec acpi] && ![have_spec pci]] config { append_if [have_spec acpi] config { - + @@ -85,7 +85,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/os/run/framebuffer.run b/repos/os/run/framebuffer.run index a1547ea49d..87f874ee63 100644 --- a/repos/os/run/framebuffer.run +++ b/repos/os/run/framebuffer.run @@ -51,7 +51,7 @@ append_if [have_spec sdl] config { append_if [have_spec acpi] config { - + @@ -65,7 +65,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/os/run/mixer.run b/repos/os/run/mixer.run index a7338998a5..2074b3a441 100644 --- a/repos/os/run/mixer.run +++ b/repos/os/run/mixer.run @@ -49,7 +49,7 @@ set config { if {![have_spec linux]} { append config { - + diff --git a/repos/os/run/network_test_nic.inc b/repos/os/run/network_test_nic.inc index 0d3e988c42..3e8b186492 100644 --- a/repos/os/run/network_test_nic.inc +++ b/repos/os/run/network_test_nic.inc @@ -112,7 +112,7 @@ append_if $use_nic_client config { append_if [have_spec acpi] config { - + @@ -126,7 +126,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/ports-foc/run/l4linux.run b/repos/ports-foc/run/l4linux.run index d94af27951..0a0fa0513d 100644 --- a/repos/ports-foc/run/l4linux.run +++ b/repos/ports-foc/run/l4linux.run @@ -63,7 +63,7 @@ set config { append_if [have_spec acpi] config { - + @@ -77,7 +77,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/ports-foc/run/l4linux_netperf.inc b/repos/ports-foc/run/l4linux_netperf.inc index 70c6b0bbec..a218bc5558 100644 --- a/repos/ports-foc/run/l4linux_netperf.inc +++ b/repos/ports-foc/run/l4linux_netperf.inc @@ -97,7 +97,7 @@ set config { append_if [have_spec acpi] config { - + @@ -111,7 +111,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/ports/run/dosbox.run b/repos/ports/run/dosbox.run index 192f7d744e..50ff60e3de 100644 --- a/repos/ports/run/dosbox.run +++ b/repos/ports/run/dosbox.run @@ -51,7 +51,7 @@ append_if [have_spec sdl] config { append_if [have_spec acpi] config { - + diff --git a/repos/ports/run/genode_org.run b/repos/ports/run/genode_org.run index 35d49439b8..34bd5b9db9 100644 --- a/repos/ports/run/genode_org.run +++ b/repos/ports/run/genode_org.run @@ -89,7 +89,7 @@ append_if $use_nic_driver config { append_if [have_spec acpi] config { - + @@ -103,7 +103,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/ports/run/netperf.inc b/repos/ports/run/netperf.inc index 5b2fd55e6d..6e07efcd0b 100644 --- a/repos/ports/run/netperf.inc +++ b/repos/ports/run/netperf.inc @@ -150,7 +150,7 @@ append_if $use_nic_driver config { append_if [have_spec acpi] config { - + @@ -164,7 +164,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/ports/run/noux_net_netcat.run b/repos/ports/run/noux_net_netcat.run index 8985bb2ac3..df863c7e54 100644 --- a/repos/ports/run/noux_net_netcat.run +++ b/repos/ports/run/noux_net_netcat.run @@ -137,7 +137,7 @@ append_if $use_usb_driver config { append_if [have_spec acpi] config { - + @@ -151,7 +151,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/ports/run/noux_tool_chain.inc b/repos/ports/run/noux_tool_chain.inc index 346bfd4a71..bc095ec323 100644 --- a/repos/ports/run/noux_tool_chain.inc +++ b/repos/ports/run/noux_tool_chain.inc @@ -134,7 +134,7 @@ append_if [have_spec sdl] config { append_if [have_spec acpi] config { - + @@ -154,7 +154,7 @@ append_if [have_spec framebuffer] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/ports/run/noux_trace_fs.run b/repos/ports/run/noux_trace_fs.run index 5da7d4da16..1db4eb2dde 100644 --- a/repos/ports/run/noux_trace_fs.run +++ b/repos/ports/run/noux_trace_fs.run @@ -94,7 +94,7 @@ append_if [have_spec sdl] config { append_if [have_spec acpi] config { - + @@ -108,7 +108,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc index f4fdcad6ae..4a4b450935 100644 --- a/repos/ports/run/seoul.inc +++ b/repos/ports/run/seoul.inc @@ -196,7 +196,7 @@ append_if $use_genode_iso config { append_if [have_spec acpi] config { - + @@ -210,7 +210,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + diff --git a/repos/ports/run/virtualbox.run b/repos/ports/run/virtualbox.run index 1aaf9ba37d..df39b48070 100644 --- a/repos/ports/run/virtualbox.run +++ b/repos/ports/run/virtualbox.run @@ -44,7 +44,7 @@ set config { append_if [have_spec acpi] config { - + @@ -58,7 +58,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + } diff --git a/repos/ports/run/virtualbox_auto.inc b/repos/ports/run/virtualbox_auto.inc index 8c99be0f97..1728274d59 100644 --- a/repos/ports/run/virtualbox_auto.inc +++ b/repos/ports/run/virtualbox_auto.inc @@ -91,7 +91,7 @@ append_if [expr $use_ram_fs] config { append_if [have_spec acpi] config { - + @@ -105,7 +105,7 @@ append_if [have_spec acpi] config { append_if [expr ![have_spec acpi] && [have_spec pci]] config { - + }