diff --git a/repos/base/recipes/api/vm_session/content.mk b/repos/base/recipes/api/vm_session/content.mk new file mode 100644 index 000000000..e85ca59fc --- /dev/null +++ b/repos/base/recipes/api/vm_session/content.mk @@ -0,0 +1,9 @@ +MIRRORED_FROM_REP_DIR := include/vm_session + +content: $(MIRRORED_FROM_REP_DIR) LICENSE + +$(MIRRORED_FROM_REP_DIR): + $(mirror_from_rep_dir) + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ diff --git a/repos/base/recipes/api/vm_session/hash b/repos/base/recipes/api/vm_session/hash new file mode 100644 index 000000000..174656330 --- /dev/null +++ b/repos/base/recipes/api/vm_session/hash @@ -0,0 +1 @@ +2019-05-20 2a0981ba2dbee8f45f581d26c63ca20649172946