[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 00/13] script language API for GDB
|
From: |
Doug Evans |
|
Subject: |
Re: [PATCH 00/13] script language API for GDB |
|
Date: |
Mon, 23 Dec 2013 13:58:31 -0800 |
On Mon, Dec 23, 2013 at 1:54 PM, Tom Tromey <address@hidden> wrote:
>>>>>> "Doug" == Doug Evans <address@hidden> writes:
>
> Doug> For those that don't care, "info pretty-printer" can still print
> Doug> all of them. "info pretty-printer" et.al. would need some work,
> Doug> sure, and one way to go would be to use "info <ext-lang>
> Doug> pretty-printer".
>
> I don't understand what this means.
The "info pretty-printer" command would invoke "info <ext-lang> pretty-printer".