From 6611c38184123b93242ab9297ed84b1767fe7c56 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Tue, 19 Dec 2017 12:04:50 +0100 Subject: [PATCH] depot: recipe for log_terminal issue #2447 prequisite for #2621 --- repos/os/recipes/src/log_terminal/content.mk | 2 ++ repos/os/recipes/src/log_terminal/hash | 1 + repos/os/recipes/src/log_terminal/used_apis | 3 +++ 3 files changed, 6 insertions(+) create mode 100644 repos/os/recipes/src/log_terminal/content.mk create mode 100644 repos/os/recipes/src/log_terminal/hash create mode 100644 repos/os/recipes/src/log_terminal/used_apis diff --git a/repos/os/recipes/src/log_terminal/content.mk b/repos/os/recipes/src/log_terminal/content.mk new file mode 100644 index 0000000000..e0733bacdf --- /dev/null +++ b/repos/os/recipes/src/log_terminal/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/server/log_terminal +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/log_terminal/hash b/repos/os/recipes/src/log_terminal/hash new file mode 100644 index 0000000000..cfa73d82fd --- /dev/null +++ b/repos/os/recipes/src/log_terminal/hash @@ -0,0 +1 @@ +2017-12-19 7b4f802007439c9c78c429df39de31cc4e3b005e diff --git a/repos/os/recipes/src/log_terminal/used_apis b/repos/os/recipes/src/log_terminal/used_apis new file mode 100644 index 0000000000..40c5028425 --- /dev/null +++ b/repos/os/recipes/src/log_terminal/used_apis @@ -0,0 +1,3 @@ +base +os +terminal_session