[PATCH] Fix non-Linux builds

[Samuel Thibault]

Samuel Thibault, le dim. 23 oct. 2022 19:38:38 +0200, a ecrit:
> Ron Yorston, le dim. 16 oct. 2022 14:57:41 +0100, a ecrit:
> > Samuel Thibault wrote:
> > >Ron Yorston, le dim. 16 oct. 2022 08:36:21 +0100, a ecrit:
> > >> PLATFORM_LINUX was removed a couple of years ago by commit 5c69ad0ec
> > >> (build system: drop PLATFORM_LINUX).
> > >> 
> > >> It had very little effect back then, now it has none.
> > >
> > >Ah, so how would it have to be done nowadays?
> > 
> > I suppose it would mean going back to the situation prior to these
> > commits:
> > 
> >   4d06b3145  build system: no longer prompt for PLATFORM_LINUX option
> >   e3b1a1fd2  Replace "depends on PLATFORM_LINUX" with "select PLATFORM_LINUX"
> > 
> > where PLATFORM_LINUX was a user-selectable option and applets that were
> > deemed Linux specific depended on it.
> 
> AIUI, we don't want that as it was, because allnoconfig shouldn't
> prevent from seeing applets which are available on Linux only.
> 
> Now, can't we make PLATFORM_LINUX something that is automatically
> enabled, so that it cannot be disabled with allnoconfig? Then we can
> restore the dependency.

(In Linux Kconfig terms: making it a def_bool set to y on Linux and n on
non-Linux)

Samuel