genode/repos/os/recipes/raw/drivers_interactive-pbxa9/content.mk

content: drivers.config input_filter.config en_us.chargen

drivers.config input_filter.config:
	cp $(REP_DIR)/recipes/raw/drivers_interactive-pbxa9/$@ $@

en_us.chargen:
	cp $(REP_DIR)/src/server/input_filter/$@ $@
drivers_interactive-pbxa9: add input_filter Fixes #2604 2017-12-05 16:07:06 +00:00			`content: drivers.config input_filter.config en_us.chargen`
Depot-archive recipes Issue #2339 2017-03-28 16:42:41 +00:00
drivers_interactive-pbxa9: add input_filter Fixes #2604 2017-12-05 16:07:06 +00:00			`drivers.config input_filter.config:`
Depot-archive recipes Issue #2339 2017-03-28 16:42:41 +00:00			`cp $(REP_DIR)/recipes/raw/drivers_interactive-pbxa9/$@ $@`
drivers_interactive-pbxa9: add input_filter Fixes #2604 2017-12-05 16:07:06 +00:00
			`en_us.chargen:`
			`cp $(REP_DIR)/src/server/input_filter/$@ $@`