From: Markus Armbruster <armbru@redhat.com>
To: Thomas Huth <thuth@redhat.com>
Cc: "Alex Bennée" <alex.bennee@linaro.org>,
"Philippe Mathieu-Daudé" <philmd@redhat.com>,
qemu-devel@nongnu.org,
"Wainer dos Santos Moschetta" <wainersm@redhat.com>
Subject: Re: CI with --enable-debug?
Date: Tue, 02 Mar 2021 07:44:27 +0100 [thread overview]
Message-ID: <8735xem4vo.fsf@dusky.pond.sub.org> (raw)
In-Reply-To: <6eed43d5-9ced-0b39-8528-b272930a706f@redhat.com> (Thomas Huth's message of "Tue, 2 Mar 2021 06:14:41 +0100")
Thomas Huth <thuth@redhat.com> writes:
> On 01/03/2021 15.06, Markus Armbruster wrote:
>> Today I debugged why Paolo couldn't reproduce an assertion failure I
>> found in review. Turns out compiling with optimization masks it for
>> both of us.
>> This made me wonder whether our CI tests with and without
>> optimization.
>> I quick grep finds --enable-debug in .travis.yml, but not in .gitlab*.
>> Is this a gap?
>
> When did you update your local repo the last time? There should be at
> least one --enable-debug in the gitlab CI now, see commit
> ac6d7074c0751f6.
I figure I had switched to an elderly review branch, and forgot to grep
master instead of HEAD, so I missed this change. Sorry for the noise!
[...]
next prev parent reply other threads:[~2021-03-02 6:46 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-03-01 14:06 CI with --enable-debug? Markus Armbruster
2021-03-02 5:14 ` Thomas Huth
2021-03-02 6:44 ` Markus Armbruster [this message]
2021-03-02 9:17 ` Alex Bennée
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=8735xem4vo.fsf@dusky.pond.sub.org \
--to=armbru@redhat.com \
--cc=alex.bennee@linaro.org \
--cc=philmd@redhat.com \
--cc=qemu-devel@nongnu.org \
--cc=thuth@redhat.com \
--cc=wainersm@redhat.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.