mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
depot: recipe for src/depot_deploy
This commit is contained in:
parent
d7522defde
commit
065c2163dd
10
repos/gems/recipes/src/depot_deploy/content.mk
Normal file
10
repos/gems/recipes/src/depot_deploy/content.mk
Normal file
@ -0,0 +1,10 @@
|
||||
SRC_DIR := src/app/depot_deploy
|
||||
|
||||
include $(GENODE_DIR)/repos/base/recipes/src/content.inc
|
||||
|
||||
MIRROR_FROM_REP_DIR := include/depot
|
||||
|
||||
content: $(MIRROR_FROM_REP_DIR)
|
||||
|
||||
$(MIRROR_FROM_REP_DIR):
|
||||
$(mirror_from_rep_dir)
|
1
repos/gems/recipes/src/depot_deploy/hash
Normal file
1
repos/gems/recipes/src/depot_deploy/hash
Normal file
@ -0,0 +1 @@
|
||||
2018-01-29-b f38dc26a2d8a305717f3d567666332009a4053d8
|
4
repos/gems/recipes/src/depot_deploy/used_apis
Normal file
4
repos/gems/recipes/src/depot_deploy/used_apis
Normal file
@ -0,0 +1,4 @@
|
||||
base
|
||||
os
|
||||
vfs
|
||||
report_session
|
Loading…
Reference in New Issue
Block a user