diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2018-10-29 14:38:36 +0100 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2018-10-29 14:42:03 +0100 |
commit | b0626b420a9861fc18995809b6d7570f84619e3e (patch) | |
tree | 943b117da967de472a28b866b131dc9476bc60ed /rules/host-kernel-header.in | |
parent | 4d97f742d51a2b969cff5c9ddfea9543b8f1b15e (diff) | |
download | ptxdist-b0626b420a9861fc18995809b6d7570f84619e3e.tar.gz ptxdist-b0626b420a9861fc18995809b6d7570f84619e3e.tar.xz |
host-kernel-header: improve version handling and selection
Allow selection it in the platformconfig.
Use the toolchain kernel header version if possible if target kernel
headers are not selected. In that case the cross toolchain kernel headers
are most likely new enough.
Also, update fallback version to 4.19 while at it.
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'rules/host-kernel-header.in')
-rw-r--r-- | rules/host-kernel-header.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rules/host-kernel-header.in b/rules/host-kernel-header.in index a08f43e3c..912ba3db8 100644 --- a/rules/host-kernel-header.in +++ b/rules/host-kernel-header.in @@ -1,4 +1,5 @@ ## SECTION=hosttools_noprompt +## SECTION=hosttools_platform config HOST_KERNEL_HEADER tristate |