diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-11-21 08:55:05 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-11-21 08:55:05 +0100 |
| commit | e8c3e5c8fefbbb3b5c869cd40281e4df6e081cbc (patch) | |
| tree | 7519a5e2c9fb1e114bff3f6bb50395f1baa35ae7 | |
| parent | a3b1c98ecfe89edb297cf3fbf525120343d63f1d (diff) | |
| download | ghdl-e8c3e5c8fefbbb3b5c869cd40281e4df6e081cbc.tar.gz ghdl-e8c3e5c8fefbbb3b5c869cd40281e4df6e081cbc.tar.bz2 ghdl-e8c3e5c8fefbbb3b5c869cd40281e4df6e081cbc.zip | |
Slightly improve error messages for unknown option
| -rw-r--r-- | src/ghdldrv/ghdlmain.adb | 2 | ||||
| -rw-r--r-- | src/grt/grt-options.adb | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/ghdldrv/ghdlmain.adb b/src/ghdldrv/ghdlmain.adb index 00047e6d6..2715e6f20 100644 --- a/src/ghdldrv/ghdlmain.adb +++ b/src/ghdldrv/ghdlmain.adb @@ -349,7 +349,7 @@ package body Ghdlmain is Decode_Option (Cmd, Arg.all, "", Res); case Res is when Option_Unknown => - Error ("unknown option '" & Arg.all & "'"); + Error ("unknown command option '" & Arg.all & "'"); raise Option_Error; when Option_Err => raise Option_Error; diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb index d3d7a260e..dda5d09ac 100644 --- a/src/grt/grt-options.adb +++ b/src/grt/grt-options.adb @@ -435,7 +435,7 @@ package body Grt.Options is Wave_Opt.File.Start (Option (18 .. Option'Last), To_Be_Created => True); elsif not Grt.Hooks.Call_Option_Hooks (Option) then - Error_S ("unknown option '"); + Error_S ("unknown run option '"); Diag_C (Option); Error_E ("', try --help"); end if; |