mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-21 16:39:39 +00:00
dde_linux: move linux.port to legacy_linux.port
This is prerequisite for the Linux update. All dependencies relying on the 'linux' have been adjusted to use 'legacy_linux'. Issue #5264
This commit is contained in:
committed by
Christian Helmuth
parent
3211a10573
commit
4a7a4cfac5
@ -3,7 +3,7 @@ REQUIRES := arm_v6
|
||||
|
||||
CUSTOM_TARGET_DEPS := kernel_build.phony
|
||||
|
||||
LX_DIR := $(call select_from_ports,linux)/src/linux
|
||||
LX_DIR := $(call select_from_ports,legacy_linux)/src/linux
|
||||
PWD := $(shell pwd)
|
||||
|
||||
# options for Linux kernel build to not depend on current time, user and host
|
||||
|
Reference in New Issue
Block a user