diff --git a/repos/os/recipes/api/genode_c_api/content.mk b/repos/os/recipes/api/genode_c_api/content.mk index efb2cf80a1..21bd009dd3 100644 --- a/repos/os/recipes/api/genode_c_api/content.mk +++ b/repos/os/recipes/api/genode_c_api/content.mk @@ -1,6 +1,9 @@ -content: include/genode_c_api LICENSE +MIRROR_FROM_REP_DIR := include/genode_c_api \ + src/lib/genode_c_api -include/genode_c_api: +content: $(MIRROR_FROM_REP_DIR) LICENSE + +$(MIRROR_FROM_REP_DIR): $(mirror_from_rep_dir) LICENSE: