diff options
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; |