mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-22 17:40:45 +08:00
Code Issues Packages Projects Releases Wiki Activity

[Ada] Fix documentation for GNAT.Command_Line.Exit_From_Command_Line

Browse Source 
2019-08-20  Bob Duff  <duff@adacore.com>

gcc/ada/

	* libgnat/g-comlin.ads (Exit_From_Command_Line): Fix
	documentation for GNAT.Command_Line.

From-SVN: r274715
This commit is contained in:
Bob Duff 2019-08-20 09:47:49 +00:00 committed by Pierre-Marie de Rodat
parent ca19ff234f
commit e1976249a2
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ada/ChangeLog
View File

@ -1,3 +1,8 @@
2019-08-20 Bob Duff <duff@adacore.com>
* libgnat/g-comlin.ads (Exit_From_Command_Line): Fix
documentation for GNAT.Command_Line.
2019-08-20 Pierre-Marie de Rodat <derodat@adacore.com>
PR ada/91492

4
gcc/ada/libgnat/g-comlin.ads
View File

@ -731,8 +731,8 @@ package GNAT.Command_Line is
-- Full_Switch omits the first leading '-'.
Exit_From_Command_Line : exception;
-- Emitted when the program should exit. This is called when Getopt below
-- has seen -h, --help or an invalid switch.
-- Raised when the program should exit because Getopt below has seen
-- a -h or --help switch.
procedure Getopt
(Config : Command_Line_Configuration;