depot: recipe for clipboard

Ref #2446
2018-01-05 17:16:38 +01:00 · 2018-01-05 17:16:38 +01:00 · e9a8d83eb5
commit e9a8d83eb5
parent 7ba6297988
3 changed files with 11 additions and 0 deletions
--- a/repos/os/recipes/src/clipboard/content.mk
+++ b/repos/os/recipes/src/clipboard/content.mk
@ -0,0 +1,7 @@
+SRC_DIR = src/server/clipboard
+include $(GENODE_DIR)/repos/base/recipes/src/content.inc
+
+content: include/report_rom
+
+include/report_rom:
+	$(mirror_from_rep_dir)
--- a/repos/os/recipes/src/clipboard/hash
+++ b/repos/os/recipes/src/clipboard/hash
@ -0,0 +1 @@
+2018-01-04 6d70c14cafdfd05e8c49de6f838005b48f43cf3f
--- a/repos/os/recipes/src/clipboard/used_apis
+++ b/repos/os/recipes/src/clipboard/used_apis
@ -0,0 +1,3 @@
+base
+os
+report_session
				`@ -0,0 +1 @@`
				`2018-01-04 6d70c14cafdfd05e8c49de6f838005b48f43cf3f`