genode/repos/os/recipes/src/acpi_drv/content.mk

SRC_DIR = src/drivers/acpi
include $(GENODE_DIR)/repos/base/recipes/src/content.inc

content: $(GENODE_DIR)/repos/os/include/smbios
	mkdir -p include
	cp -r $< include/smbios
Depot-archive recipes Issue #2339 2017-03-28 18:42:41 +02:00			`SRC_DIR = src/drivers/acpi`
			`include $(GENODE_DIR)/repos/base/recipes/src/content.inc`
smbios.h: move to os/include/smbios Fixes #3489 2019-11-04 12:40:39 +01:00
			`content: $(GENODE_DIR)/repos/os/include/smbios`
			`mkdir -p include`
			`cp -r $< include/smbios`