diff --git a/repos/os/recipes/src/clipboard/content.mk b/repos/os/recipes/src/clipboard/content.mk new file mode 100644 index 000000000..9ad9036d7 --- /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 000000000..ec0cad45d --- /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 000000000..69a94c6d2 --- /dev/null +++ b/repos/os/recipes/src/clipboard/used_apis @@ -0,0 +1,3 @@ +base +os +report_session