[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [RFC PATCH] Makefile: include gtags in UNCHECKED_GOALS
|
From: |
Alex Bennée |
|
Subject: |
Re: [RFC PATCH] Makefile: include gtags in UNCHECKED_GOALS |
|
Date: |
Thu, 11 May 2023 18:14:27 +0100 |
|
User-agent: |
mu4e 1.11.4; emacs 29.0.90 |
Paolo Bonzini <pbonzini@redhat.com> writes:
> Il gio 11 mag 2023, 18:56 Alex Bennée <alex.bennee@linaro.org> ha scritto:
>
> This is the mechanism we use to avoid defaulting to a build dir when
> we don't need to.
>
> Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
>
> I had already squashed this into Steven Sistare's recently posted patch,
> which otherwise would have broken the
> "pages" job in CI.
\o/
--
Alex Bennée
Virtualisation Tech Lead @ Linaro