mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 07:46:42 +00:00
373b45a0f0
Was still using the event_filter.config from drivers_interactive-pc although a dedicated file is present in the raw archive. The fix is just for consistency reasons, as sculpt manager is generating the event_filter.config anyway.
12 lines
403 B
Makefile
12 lines
403 B
Makefile
content: drivers.config fb_drv.config event_filter.config en_us.chargen \
|
|
special.chargen numlock_remap.config
|
|
|
|
drivers.config numlock_remap.config event_filter.config:
|
|
cp $(REP_DIR)/recipes/raw/drivers_managed-pc/$@ $@
|
|
|
|
fb_drv.config:
|
|
cp $(GENODE_DIR)/repos/os/recipes/raw/drivers_interactive-pc/$@ $@
|
|
|
|
en_us.chargen special.chargen:
|
|
cp $(GENODE_DIR)/repos/os/src/server/event_filter/$@ $@
|