[PATCH] scripts: config: add script to manipulate .config files on the command line

[Sascha Hauer]

On Wed, 10 Apr 2024 14:26:45 +0200, Ahmad Fatoum wrote:
> This ports over the Linux v6.9-rc3 state of the config script, which
> allows easy enabling and disabling of options from the command line, e.g.:
> 
>   scripts/config --file build/.config -d CONFIG_WERROR
> 
> By having the script in the barebox scripts directory, it's available
> for use by build systems instead of running sed over the .config file.
> 
> [...]

Applied, thanks!

[1/1] scripts: config: add script to manipulate .config files on the command line
      https://git.pengutronix.de/cgit/barebox/commit/?id=e77ccb480a8c (link may not be stable)

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