From: Eli Zaretskii <eliz@gnu.org>
To: Doug Evans <dje@google.com>
Cc: gdb-patches@sourceware.org
Subject: Re: [RFA, doc RFA] Rename "maint check-symtabs" to "maint check-psymtabs"
Date: Wed, 08 May 2013 17:09:00 -0000 [thread overview]
Message-ID: <83y5bpcsc8.fsf@gnu.org> (raw)
In-Reply-To: <yjt2zjw6xozg.fsf@ruffy2.mtv.corp.google.com>
> Date: Tue, 07 May 2013 18:02:59 -0700
> From: Doug Evans <dje@google.com>
>
> 1) Rename "maint check-symtabs" to "maint check-psymtabs".
> 2) Add -n option to "maint check-psymtabs" to prevent symtab expansion.
> 3) Add "maint check-symtabs".
>
> The new "maint check-symtabs" command is pretty minimal at the moment,
> it only contains what I need at present.
> We can always add whatever other consistency/sanity checks we want to
> it in the future.
>
> Ok to check in?
The documentation parts are OK with one comment:
> +@kindex maint check-psymtabs
> +@item maint check-psymtabs [-n]
> +Check the consistency of psymtabs versus symtabs.
> +Use this to check, for example, whether a symbol is one but not the other.
Did you mean "a symbol is in one but not the other"? IOW, did you
omit "in"?
Thanks.
next prev parent reply other threads:[~2013-05-08 17:09 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-05-08 1:03 Doug Evans
2013-05-08 2:25 ` Doug Evans
2013-05-08 19:25 ` Tom Tromey
2013-05-08 17:09 ` Eli Zaretskii [this message]
2013-05-08 19:17 ` Doug Evans
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=83y5bpcsc8.fsf@gnu.org \
--to=eliz@gnu.org \
--cc=dje@google.com \
--cc=gdb-patches@sourceware.org \
/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