From 2a5fd44d7d197cb6daeaa89db6ab6cb7764d8a29 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 8 Jul 2014 16:20:49 +0200
Subject: [PATCH] tcp_terminal: fix run script
Fixes #1210.
---
repos/gems/run/tcp_terminal.run | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/repos/gems/run/tcp_terminal.run b/repos/gems/run/tcp_terminal.run
index 1b364fb85a..6dc2e618fa 100644
--- a/repos/gems/run/tcp_terminal.run
+++ b/repos/gems/run/tcp_terminal.run
@@ -15,7 +15,7 @@ if {[have_spec linux]} {
# Build
#
-build {
+set build_components {
core init
drivers/timer drivers/nic
server/tcp_terminal
@@ -26,6 +26,8 @@ lappend_if [have_spec acpi] build_components drivers/acpi
lappend_if [have_spec pci] build_components drivers/pci
lappend_if [have_spec pci] build_components drivers/pci/device_pd
+build $build_components
+
create_boot_directory
#