From e9a8d83eb5c7bc18aff7de93f9f93ae4affc4df6 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Fri, 5 Jan 2018 17:16:38 +0100 Subject: [PATCH] depot: recipe for clipboard Ref #2446 --- repos/os/recipes/src/clipboard/content.mk | 7 +++++++ repos/os/recipes/src/clipboard/hash | 1 + repos/os/recipes/src/clipboard/used_apis | 3 +++ 3 files changed, 11 insertions(+) create mode 100644 repos/os/recipes/src/clipboard/content.mk create mode 100644 repos/os/recipes/src/clipboard/hash create mode 100644 repos/os/recipes/src/clipboard/used_apis diff --git a/repos/os/recipes/src/clipboard/content.mk b/repos/os/recipes/src/clipboard/content.mk new file mode 100644 index 0000000000..9ad9036d76 --- /dev/null +++ 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) diff --git a/repos/os/recipes/src/clipboard/hash b/repos/os/recipes/src/clipboard/hash new file mode 100644 index 0000000000..ec0cad45d6 --- /dev/null +++ b/repos/os/recipes/src/clipboard/hash @@ -0,0 +1 @@ +2018-01-04 6d70c14cafdfd05e8c49de6f838005b48f43cf3f diff --git a/repos/os/recipes/src/clipboard/used_apis b/repos/os/recipes/src/clipboard/used_apis new file mode 100644 index 0000000000..69a94c6d26 --- /dev/null +++ b/repos/os/recipes/src/clipboard/used_apis @@ -0,0 +1,3 @@ +base +os +report_session