From e8c3e5c8fefbbb3b5c869cd40281e4df6e081cbc Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 21 Nov 2020 08:55:05 +0100 Subject: Slightly improve error messages for unknown option --- src/ghdldrv/ghdlmain.adb | 2 +- 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; -- cgit v1.2.3