On Fri, Jan 23, 2026 at 04:32:00PM -0800, Stefano Stabellini wrote:
> On Thu, 15 Jan 2026, [email protected] wrote:
> > From: Denis Mukhin <[email protected]>
> >
> > Use the new .config manipulation tool to toggle CONFIG_DEBUG in the
> > Xen automation build script.
> >
> > Signed-off-by: Denis Mukhin <[email protected]>
> > ---
> > automation/scripts/build | 2 +-
> > 1 file changed, 1 insertion(+), 1 deletion(-)
> >
> > diff --git a/automation/scripts/build b/automation/scripts/build
> > index 7a81d229decd..ee1127c53dc5 100755
> > --- a/automation/scripts/build
> > +++ b/automation/scripts/build
> > @@ -27,7 +27,7 @@ else
> > # Start off with arch's defconfig
> > make -C xen defconfig
> >
> > - echo "CONFIG_DEBUG=${debug}" >> xen/.config
> > + xen/scripts/config --file xen/.config -${debug} DEBUG
>
> I'd suggest to add:
>
> debug="${debug:-n}"
>
> before calling xen/scripts/config to avoid errors in case debug is not
> set
>
> I could make the change on commit if you are OK with it
Yes, will appreciate help!
Thanks!
>
>
> > if [[ -n "${EXTRA_XEN_CONFIG}" ]]; then
> > echo "${EXTRA_XEN_CONFIG}" >> xen/.config
> > --
> > 2.52.0
> >
