From 065c2163dd9c2fc87062d32a341f280dd35530d6 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Mon, 29 Jan 2018 14:39:01 +0100 Subject: [PATCH] depot: recipe for src/depot_deploy --- repos/gems/recipes/src/depot_deploy/content.mk | 10 ++++++++++ repos/gems/recipes/src/depot_deploy/hash | 1 + repos/gems/recipes/src/depot_deploy/used_apis | 4 ++++ 3 files changed, 15 insertions(+) create mode 100644 repos/gems/recipes/src/depot_deploy/content.mk create mode 100644 repos/gems/recipes/src/depot_deploy/hash create mode 100644 repos/gems/recipes/src/depot_deploy/used_apis diff --git a/repos/gems/recipes/src/depot_deploy/content.mk b/repos/gems/recipes/src/depot_deploy/content.mk new file mode 100644 index 0000000000..a05929136d --- /dev/null +++ b/repos/gems/recipes/src/depot_deploy/content.mk @@ -0,0 +1,10 @@ +SRC_DIR := src/app/depot_deploy + +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +MIRROR_FROM_REP_DIR := include/depot + +content: $(MIRROR_FROM_REP_DIR) + +$(MIRROR_FROM_REP_DIR): + $(mirror_from_rep_dir) diff --git a/repos/gems/recipes/src/depot_deploy/hash b/repos/gems/recipes/src/depot_deploy/hash new file mode 100644 index 0000000000..f7466515fd --- /dev/null +++ b/repos/gems/recipes/src/depot_deploy/hash @@ -0,0 +1 @@ +2018-01-29-b f38dc26a2d8a305717f3d567666332009a4053d8 diff --git a/repos/gems/recipes/src/depot_deploy/used_apis b/repos/gems/recipes/src/depot_deploy/used_apis new file mode 100644 index 0000000000..ade9ce3115 --- /dev/null +++ b/repos/gems/recipes/src/depot_deploy/used_apis @@ -0,0 +1,4 @@ +base +os +vfs +report_session