aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/ghdldrv/ghdllocal.adb4
-rw-r--r--src/grt/grt-options.adb3
2 files changed, 6 insertions, 1 deletions
diff --git a/src/ghdldrv/ghdllocal.adb b/src/ghdldrv/ghdllocal.adb
index 0e99d7233..8570144ee 100644
--- a/src/ghdldrv/ghdllocal.adb
+++ b/src/ghdldrv/ghdllocal.adb
@@ -1735,7 +1735,9 @@ package body Ghdllocal is
declare
Sec : constant String_Access := Args (Next_Arg);
begin
- if Sec (Sec'First) /= '-' then
+ if Sec (Sec'First) /= '-'
+ and then Sec (Sec'First) /= '+'
+ then
Sec_Id := Convert_Name (Sec.all);
Next_Arg := Args'First + 2;
if Sec_Id = Null_Identifier then
diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb
index eadca0068..d3d7a260e 100644
--- a/src/grt/grt-options.adb
+++ b/src/grt/grt-options.adb
@@ -239,6 +239,9 @@ package body Grt.Options is
Status := Decode_Option_Ok;
if Option = "--" then
Status := Decode_Option_Last;
+ elsif Option (1) = '+' then
+ -- For VPI/VHPI - plusargs.
+ null;
elsif Option = "--help" or else Option = "-h" then
Help;
Status := Decode_Option_Stop;