tree 01a114f8f1496571e282e2a656cfe3e1a5271b75
parent 8d34471f70a84e6db89be40116d1ed0f6af941c0
author Enze Li <lienze2010@hotmail.com> 1639826352 +0400
committer Joel Brobecker <brobecker@adacore.com> 1639826352 +0400

gdb: add "exit" command as an alias for "quit"

This command adds the "exit" command as an alias for the "quit"
command, as requested in PR gdb/28406.

The documentation is also updated to mention this new command.

Tested on x86_64-linux.

Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=28406