From 18d963419da73179ef15c9e555b3d72829da802a Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Thu, 18 Jan 2018 19:06:04 +0100 Subject: [PATCH] depot: recipe for src/depot_query --- repos/gems/recipes/src/depot_query/content.mk | 10 ++++++++++ repos/gems/recipes/src/depot_query/hash | 1 + repos/gems/recipes/src/depot_query/used_apis | 8 ++++++++ 3 files changed, 19 insertions(+) create mode 100644 repos/gems/recipes/src/depot_query/content.mk create mode 100644 repos/gems/recipes/src/depot_query/hash create mode 100644 repos/gems/recipes/src/depot_query/used_apis diff --git a/repos/gems/recipes/src/depot_query/content.mk b/repos/gems/recipes/src/depot_query/content.mk new file mode 100644 index 0000000000..22ffb50179 --- /dev/null +++ b/repos/gems/recipes/src/depot_query/content.mk @@ -0,0 +1,10 @@ +SRC_DIR := src/app/depot_query + +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +MIRROR_FROM_REP_DIR := include/depot include/gems/vfs.h + +content: $(MIRROR_FROM_REP_DIR) + +$(MIRROR_FROM_REP_DIR): + $(mirror_from_rep_dir) diff --git a/repos/gems/recipes/src/depot_query/hash b/repos/gems/recipes/src/depot_query/hash new file mode 100644 index 0000000000..82eaadfda8 --- /dev/null +++ b/repos/gems/recipes/src/depot_query/hash @@ -0,0 +1 @@ +2018-01-18-b 7ef841a36178ed559a4a97d4953989fb2b124951 diff --git a/repos/gems/recipes/src/depot_query/used_apis b/repos/gems/recipes/src/depot_query/used_apis new file mode 100644 index 0000000000..bbd8c51022 --- /dev/null +++ b/repos/gems/recipes/src/depot_query/used_apis @@ -0,0 +1,8 @@ +base +os +vfs +report_session +block_session +terminal_session +rtc_session +file_system_session