mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-24 04:55:42 +00:00
os: recipe for 'trace_policy'
* source packet for all trace policies issue #3294
This commit is contained in:
parent
807f5d9af1
commit
c34176580c
2
repos/os/recipes/src/trace_policy/content.mk
Normal file
2
repos/os/recipes/src/trace_policy/content.mk
Normal file
@ -0,0 +1,2 @@
|
||||
SRC_DIR = src/lib/trace/policy include/trace
|
||||
include $(GENODE_DIR)/repos/base/recipes/src/content.inc
|
1
repos/os/recipes/src/trace_policy/hash
Normal file
1
repos/os/recipes/src/trace_policy/hash
Normal file
@ -0,0 +1 @@
|
||||
2019-06-14 6f91f5ab8ee729d536975b98ca82d527881e6797
|
2
repos/os/recipes/src/trace_policy/used_apis
Normal file
2
repos/os/recipes/src/trace_policy/used_apis
Normal file
@ -0,0 +1,2 @@
|
||||
base
|
||||
os
|
Loading…
x
Reference in New Issue
Block a user