From a753b6ce469a3b7e902e295753bf565f3eb482e6 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Mon, 23 Dec 2019 22:56:01 +0100 Subject: [PATCH] base-hw: fix run scripts Ref #3308 --- repos/base-hw/run/cpu_scheduler.run | 2 +- repos/base-hw/run/double_list.run | 5 ++++- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/repos/base-hw/run/cpu_scheduler.run b/repos/base-hw/run/cpu_scheduler.run index 92e424358..57d0782bf 100644 --- a/repos/base-hw/run/cpu_scheduler.run +++ b/repos/base-hw/run/cpu_scheduler.run @@ -23,7 +23,7 @@ install_config { - + } diff --git a/repos/base-hw/run/double_list.run b/repos/base-hw/run/double_list.run index e47fc27a6..e4a699b04 100644 --- a/repos/base-hw/run/double_list.run +++ b/repos/base-hw/run/double_list.run @@ -16,11 +16,14 @@ install_config { + + + - +