ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 09:46:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix Muen RUN_OPTs

Browse Source 
Re-add necessary library components for Muen system build which were
dropped in commit (2530973...).
This commit is contained in:
Adrian-Ken Rueegsegger 2017-01-19 18:36:53 +01:00 committed by Christian Helmuth
parent 4498137bd2
commit 98ac87caf4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tool/builddir/build.conf/run_opt_muen
View File

@ -36,7 +36,7 @@ RUN_OPT += --image-muen-system xml/genode-base_hw.xml
#
# Available components are located in the Muen project directory 'components/'.
#
RUN_OPT += --image-muen-components 'dbgserver sm tau0 time'
RUN_OPT += --image-muen-components 'libdebuglog libmutime dbgserver sm tau0 time'
#
# External Muen build