From 47547a132eb132778117ca5c4eb3394df0500898 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Tue, 9 Jun 2020 21:08:55 +0200 Subject: vhdl: allows --work between files for -c. Fix #1362 --- src/options.adb | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/options.adb') diff --git a/src/options.adb b/src/options.adb index 31f5c89b5..a68f949a4 100644 --- a/src/options.adb +++ b/src/options.adb @@ -18,6 +18,7 @@ with Simple_IO; with Errorout; use Errorout; +with Types; use Types; with Libraries; with Std_Names; with PSL.Nodes; @@ -138,7 +139,8 @@ package body Options is elsif Opt'Length > 2 and then Opt (1 .. 2) = "-W" then return Option_Warning (Opt (3 .. Opt'Last), True); elsif Opt'Length > 7 and then Opt (1 .. 7) = "--work=" then - if not Libraries.Decode_Work_Option (Opt) then + Libraries.Work_Library_Name := Libraries.Decode_Work_Option (Opt); + if Libraries.Work_Library_Name = Null_Identifier then return Option_Err; end if; elsif Opt = "-C" or else Opt = "--mb-comments" then -- cgit v1.2.3