diff --git a/repos/base/run/platform_drv.inc b/repos/base/run/platform_drv.inc index 3da9f74d87..51b115ebf7 100644 --- a/repos/base/run/platform_drv.inc +++ b/repos/base/run/platform_drv.inc @@ -162,6 +162,7 @@ proc platform_drv_config {} { + } append_if [expr {[acpi_drv_name] eq "acpica"}] drv_config { @@ -202,6 +203,7 @@ proc platform_drv_config {} { + } diff --git a/repos/dde_uos-intel-gpgpu/run/gpgpu.run b/repos/dde_uos-intel-gpgpu/run/gpgpu.run index 1ca27b1322..891cbcda27 100644 --- a/repos/dde_uos-intel-gpgpu/run/gpgpu.run +++ b/repos/dde_uos-intel-gpgpu/run/gpgpu.run @@ -33,6 +33,7 @@ append config { + diff --git a/repos/hello_gpgpu/run/hello_gpgpu.run b/repos/hello_gpgpu/run/hello_gpgpu.run index cfbc688143..2b5d45aeca 100644 --- a/repos/hello_gpgpu/run/hello_gpgpu.run +++ b/repos/hello_gpgpu/run/hello_gpgpu.run @@ -37,6 +37,7 @@ append config { + diff --git a/repos/hello_gpgpu/run/multi_gpgpu.run b/repos/hello_gpgpu/run/multi_gpgpu.run index c86cb0f487..f094b76799 100644 --- a/repos/hello_gpgpu/run/multi_gpgpu.run +++ b/repos/hello_gpgpu/run/multi_gpgpu.run @@ -37,6 +37,7 @@ append config { +