This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [patch 1/2] Drop gdbtui [+doc changes]

On Thu, 22 Dec 2011 09:04:43 +0100, Eli Zaretskii wrote:
> > +* The binary "gdbtui" has been removed.  Use "gdb -tui" instead.
> 
> I think the first sentence should say
> 
>   The binary "gdbtui" is no longer built or installed.
> 
> because we didn't really "remove" anything ;-)

FYI I understand it the way that neither "make" nor "make install" builds
"gdbtui" now but if I enter "make gdbtui" then "gdbtui" is still built.

But it no longer can be built in any way, "make gdbtui" will now abort:
make: *** No rule to make target `gdbtui'.  Stop.

But my interpretation may not be right, I will use your text.


Thanks,
Jan
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]