This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
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