[PATCH] common: hide DEFAULT_COMPRESSION menu

[Sascha Hauer]

On Fri, 17 May 2024 08:21:51 +0200, Ahmad Fatoum wrote:
> CONFIG_DEFAULT_COMPRESSION_* refers to the compression done for
> in-barebox binaries and is not useful when barebox proper as a whole is
> compressed as in that case, we would have compression applied twice.
> 
> For this reason, DEFAULT_COMPRESSION_NONE is the only possible choice in
> a PBL-enabled build. Having the choice with only one option is confusing
> though, so let's hide the prompt.
> 
> [...]

Applied, thanks!

[1/1] common: hide DEFAULT_COMPRESSION menu
      https://git.pengutronix.de/cgit/barebox/commit/?id=f661c703ff46 (link may not be stable)

Best regards,
-- 
Sascha Hauer <s.hauer at pengutronix.de>