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

depot_query.run: use label_last

Browse Source
This commit is contained in:
Norman Feske
2018-01-19 19:23:39 +01:00
parent 4619e2e84c
commit e6b87e9d20
2 changed files with 13 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
repos/gems/run/depot_query.run
View File

@@ -1,4 +1,4 @@
build { app/depot_query app/depot_deploy }
build { init app/depot_query app/depot_deploy }
create_boot_directory
@@ -88,10 +88,8 @@ install_config {
</parent-provides>
</static>
<common_routes>
<service name="ROM" unscoped_label="init"> <parent/> </service>
<service name="ROM" unscoped_label="ld.lib.so"> <parent/> </service>
<service name="ROM" label_suffix="init"> <parent/> </service>
<service name="ROM" label_suffix="ld.lib.so"> <parent/> </service>
<service name="ROM" label_last="ld.lib.so"> <parent/> </service>
<service name="ROM" label_last="init"> <parent/> </service>
<service name="CPU"> <parent/> </service>
<service name="PD"> <parent/> </service>
<service name="LOG"> <parent/> </service>
@@ -108,10 +106,8 @@ install_config {
<resource name="RAM" quantum="64M"/>
<binary name="init"/>
<route>
<service name="ROM" unscoped_label="ld.lib.so"> <parent/> </service>
<service name="ROM" unscoped_label="init"> <parent/> </service>
<service name="ROM" label_suffix="ld.lib.so"> <parent/> </service>
<service name="ROM" label_suffix="init"> <parent/> </service>
<service name="ROM" label_last="ld.lib.so"> <parent/> </service>
<service name="ROM" label_last="init"> <parent/> </service>
<service name="ROM" label="config"> <child name="report_rom"/> </service>
<service name="ROM"> <child name="fs_rom"/> </service>
<service name="Timer"> <child name="timer"/> </service>
@@ -121,7 +117,7 @@ install_config {
</config>}
build_boot_image { depot_query depot_deploy }
build_boot_image { init depot_query depot_deploy }
run_genode_until {.*child "test-fs_report" exited with exit value 0.*\n} 30