Messages in this thread | | | From | Masahiro Yamada <> | Date | Tue, 9 Jan 2024 23:29:19 +0900 | Subject | Re: [PATCH 1/5] kbuild: deb-pkg: move 'make headers' to build-arch |
| |
On Tue, Jan 9, 2024 at 10:24 PM Nicolas Schier <n.schier@avm.de> wrote: > > On Tue, Jan 09, 2024 at 01:38:07PM +0900, Masahiro Yamada wrote: > > On Sat, Dec 30, 2023 at 10:52 PM Masahiro Yamada <masahiroy@kernel.org> wrote: > > > > > > Strictly speaking, 'make headers' should be a part of build-arch > > > instead of binary-arch. > > > > > > 'make headers' constructs read-to-copy UAPI headers in the kernel > > s/read/ready/ ?
Yes, thanks for catching it.
> I'm wondering if we might want to change the headers target in top-level > Makefile to not bail-out for ARCH=um but only show a warning that there > is nothing to export.
Yes, this is another way of fixing it, but I do not even want to show a warning.
Having 'make ARCH=um headers' succeed silently is another way.
I just stayed on a safer side.
-- Best Regards Masahiro Yamada
| |