From ffbd26d63fd651b3b7c260a0f4cdcf99da65c9f5 Mon Sep 17 00:00:00 2001 From: Johannes Schlatow Date: Wed, 11 Aug 2021 11:01:22 +0200 Subject: [PATCH] depot: add trace policy api genodelabs/genode#4244 --- repos/os/recipes/api/trace/content.mk | 6 ++++++ repos/os/recipes/api/trace/hash | 1 + repos/os/recipes/src/trace_policy/content.mk | 2 +- repos/os/recipes/src/trace_policy/used_apis | 1 + 4 files changed, 9 insertions(+), 1 deletion(-) create mode 100644 repos/os/recipes/api/trace/content.mk create mode 100644 repos/os/recipes/api/trace/hash diff --git a/repos/os/recipes/api/trace/content.mk b/repos/os/recipes/api/trace/content.mk new file mode 100644 index 0000000000..413e0ad0c9 --- /dev/null +++ b/repos/os/recipes/api/trace/content.mk @@ -0,0 +1,6 @@ +MIRROR_FROM_REP_DIR := include/trace + +content: $(MIRROR_FROM_REP_DIR) + +$(MIRROR_FROM_REP_DIR): + $(mirror_from_rep_dir) diff --git a/repos/os/recipes/api/trace/hash b/repos/os/recipes/api/trace/hash new file mode 100644 index 0000000000..c432cc55f0 --- /dev/null +++ b/repos/os/recipes/api/trace/hash @@ -0,0 +1 @@ +2021-08-11 88aa80360086172e3408bbf483bbe7c2ce2231ba diff --git a/repos/os/recipes/src/trace_policy/content.mk b/repos/os/recipes/src/trace_policy/content.mk index c59342778b..78f22f88da 100644 --- a/repos/os/recipes/src/trace_policy/content.mk +++ b/repos/os/recipes/src/trace_policy/content.mk @@ -1,2 +1,2 @@ -SRC_DIR = src/lib/trace/policy include/trace +SRC_DIR = src/lib/trace/policy include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/trace_policy/used_apis b/repos/os/recipes/src/trace_policy/used_apis index ec3bf565df..b7f5534102 100644 --- a/repos/os/recipes/src/trace_policy/used_apis +++ b/repos/os/recipes/src/trace_policy/used_apis @@ -1,2 +1,3 @@ base os +trace