diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-07-30 07:02:10 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-07-30 07:03:39 +0200 |
| commit | f2e0f4caa262f2e04b9ae4d29d28646751039d38 (patch) | |
| tree | f9032efc37ea7bb18519123da116226c53a4133a /src | |
| parent | d0d04ba9b19e0f4a0db16c70db1b3452e16d6923 (diff) | |
| download | ghdl-f2e0f4caa262f2e04b9ae4d29d28646751039d38.tar.gz ghdl-f2e0f4caa262f2e04b9ae4d29d28646751039d38.tar.bz2 ghdl-f2e0f4caa262f2e04b9ae4d29d28646751039d38.zip | |
grt-options: adjust condition to avoid a crash.
Diffstat (limited to 'src')
| -rw-r--r-- | src/grt/grt-options.adb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb index 1b582e5bb..31bd3b45c 100644 --- a/src/grt/grt-options.adb +++ b/src/grt/grt-options.adb @@ -481,8 +481,9 @@ package body Grt.Options is end if; Last_Generic_Override := Over; end; - elsif Option'Length >= 18 and then - Option (1 .. 19) = "--wave-option-file=" then + elsif Option'Length >= 19 + and then Option (1 .. 19) = "--wave-option-file=" + then Wave_Opt_File.Parse.Start (Option (20 .. Option'Last)); elsif Option = "--unbuffered" then Unbuffered_Writes := True; |