From a3b1c98ecfe89edb297cf3fbf525120343d63f1d Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 21 Nov 2020 08:54:35 +0100
Subject: Ignore plusargs options (that starts with a '+').  For #1517

---
 src/ghdldrv/ghdllocal.adb | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/ghdldrv')

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
-- 
cgit v1.2.3