ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

tcp_terminal: fix run script 

Fixes #1210.
This commit is contained in:
Christian Prochaska 2014-07-08 16:20:49 +02:00 committed by Norman Feske
parent cdb7904daa
commit 2a5fd44d7d
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/gems/run/tcp_terminal.run
View File

@ -15,7 +15,7 @@ if {[have_spec linux]} {
# Build # Build
# #
build { set build_components {
core init core init
drivers/timer drivers/nic drivers/timer drivers/nic
server/tcp_terminal 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
lappend_if [have_spec pci] build_components drivers/pci/device_pd lappend_if [have_spec pci] build_components drivers/pci/device_pd
build $build_components
create_boot_directory create_boot_directory
# #