From: Tom Tromey <tromey@adacore.com>
To: Pedro Alves <palves@redhat.com>
Cc: Tom Tromey <tromey@adacore.com>, gdb-patches@sourceware.org
Subject: Re: [RFC] Change the_dummy_target to be a global
Date: Tue, 05 Mar 2019 20:46:00 -0000 [thread overview]
Message-ID: <875zsxrqv5.fsf@tromey.com> (raw)
In-Reply-To: <38644529-a5d6-1e24-97f8-b13b30bb87dd@redhat.com> (Pedro Alves's message of "Tue, 5 Mar 2019 20:15:22 +0000")
>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:
Pedro> Yes, I think that's fine.
Pedro> At some point in the multi-target branch I made a change like that,
Pedro> but the current state of the branch it's back to being heap-allocated.
Pedro> I'm not seeing any reason that requires that, though. I replicated
Pedro> the change on top of the branch and ran the new multi-target tests,
Pedro> and they all still passed.
Thanks, I'll check it in then.
Tom
prev parent reply other threads:[~2019-03-05 20:46 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-03-04 20:41 Tom Tromey
2019-03-05 20:15 ` Pedro Alves
2019-03-05 20:46 ` Tom Tromey [this message]
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=875zsxrqv5.fsf@tromey.com \
--to=tromey@adacore.com \
--cc=gdb-patches@sourceware.org \
--cc=palves@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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox