diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-03-04 18:36:35 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-03-04 18:36:35 +0100 |
commit | 2361fe47fa6bdb23f0b801ca646bf6c5983de5f8 (patch) | |
tree | 4479d68930936cd6ba3bb9d7ee4a6f5839485244 /src/ghdldrv/ghdllocal.ads | |
parent | 05b8fe710d53d0db9c8d956bf9aa8bec526ac079 (diff) | |
download | ghdl-2361fe47fa6bdb23f0b801ca646bf6c5983de5f8.tar.gz ghdl-2361fe47fa6bdb23f0b801ca646bf6c5983de5f8.tar.bz2 ghdl-2361fe47fa6bdb23f0b801ca646bf6c5983de5f8.zip |
Warn on unexpected options for command '-a'. Fix #1066
Diffstat (limited to 'src/ghdldrv/ghdllocal.ads')
-rw-r--r-- | src/ghdldrv/ghdllocal.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdllocal.ads b/src/ghdldrv/ghdllocal.ads index 042c51d87..230ddd7f5 100644 --- a/src/ghdldrv/ghdllocal.ads +++ b/src/ghdldrv/ghdllocal.ads @@ -156,5 +156,9 @@ package Ghdllocal is -- name is incorrect. function Decode_Generic_Override_Option (Opt : String) return Option_State; + -- Emit a warning if an argument is not a filename (ie looks like an + -- option). + procedure Expect_Filenames (Args : Argument_List); + procedure Register_Commands; end Ghdllocal; |