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 /src/grt | |
| parent | a3b1c98ecfe89edb297cf3fbf525120343d63f1d (diff) | |
| download | ghdl-e8c3e5c8fefbbb3b5c869cd40281e4df6e081cbc.tar.gz ghdl-e8c3e5c8fefbbb3b5c869cd40281e4df6e081cbc.tar.bz2 ghdl-e8c3e5c8fefbbb3b5c869cd40281e4df6e081cbc.zip | |
Slightly improve error messages for unknown option
Diffstat (limited to 'src/grt')
| -rw-r--r-- | src/grt/grt-options.adb | 2 |
1 files changed, 1 insertions, 1 deletions
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; |