genode/repos/os/recipes/api/os/content.mk
2020-02-20 12:11:22 +01:00

12 lines
275 B
Makefile

INCLUDE_SUB_DIRS := os util packet_stream_rx packet_stream_tx
MIRRORED_FROM_REP_DIR := $(addprefix include/,$(INCLUDE_SUB_DIRS)) lib/symbols
content: $(MIRRORED_FROM_REP_DIR) LICENSE
$(MIRRORED_FROM_REP_DIR):
$(mirror_from_rep_dir)
LICENSE:
cp $(GENODE_DIR)/LICENSE $@