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.ha...@pengutronix.de>