diff options
Diffstat (limited to 'src/ghdldrv/ghdlmain.ads')
| -rw-r--r-- | src/ghdldrv/ghdlmain.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdlmain.ads b/src/ghdldrv/ghdlmain.ads index 9b13486c8..c79530934 100644 --- a/src/ghdldrv/ghdlmain.ads +++ b/src/ghdldrv/ghdlmain.ads @@ -47,6 +47,8 @@ package Ghdlmain is Res : out Option_Res); -- Get a one-line help for the command. + -- If the first character is '!', the string is not displayed by --help + -- (for internal commands). function Get_Short_Help (Cmd : Command_Type) return String is abstract; |