Re: [PATCH 1/5] kbuild: deb-pkg: move 'make headers' to build-arch

[Masahiro Yamada]

On Tue, Jan 9, 2024 at 10:24 PM Nicolas Schier <n.schier@xxxxxx> 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@xxxxxxxxxx> 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