diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-11-21 08:54:35 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-11-21 08:54:35 +0100 |
| commit | a3b1c98ecfe89edb297cf3fbf525120343d63f1d (patch) | |
| tree | d8f4f37de604c8b10754069265ce7dde79e1dcb6 /src/ghdldrv | |
| parent | 277ca7463070d1250a3168ce01762149bd0fb445 (diff) | |
| download | ghdl-a3b1c98ecfe89edb297cf3fbf525120343d63f1d.tar.gz ghdl-a3b1c98ecfe89edb297cf3fbf525120343d63f1d.tar.bz2 ghdl-a3b1c98ecfe89edb297cf3fbf525120343d63f1d.zip | |
Ignore plusargs options (that starts with a '+'). For #1517
Diffstat (limited to 'src/ghdldrv')
| -rw-r--r-- | src/ghdldrv/ghdllocal.adb | 4 |
1 files changed, 3 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 |