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 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/ghdldrv') 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; -- cgit v1.2.3