diff options
| author | Jonas Baggett <jonasb@tranquille.ch> | 2016-08-03 14:09:44 +0200 |
|---|---|---|
| committer | Jonas Baggett <jonasb@tranquille.ch> | 2016-08-03 15:39:47 +0200 |
| commit | 27b09fc457c10067f5aaa77ed150628095060751 (patch) | |
| tree | 5d806d0f5e3d44e2e5b0e679b466b4c5f1552d31 /src/grt | |
| parent | 2a59efdd6dfbebd18394d76a13fc8f90e2f49f32 (diff) | |
| download | ghdl-27b09fc457c10067f5aaa77ed150628095060751.tar.gz ghdl-27b09fc457c10067f5aaa77ed150628095060751.tar.bz2 ghdl-27b09fc457c10067f5aaa77ed150628095060751.zip | |
Rename --wave-option-file to --wave-opt-file
Documentation and description added for the --wave-opt-file option.
Diffstat (limited to 'src/grt')
| -rw-r--r-- | src/grt/grt-options.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb index 31bd3b45c..6c3f333d3 100644 --- a/src/grt/grt-options.adb +++ b/src/grt/grt-options.adb @@ -165,6 +165,7 @@ package body Grt.Options is P (" --no-run do not simulate, only elaborate"); P (" --unbuffered disable buffering on stdout, stderr and"); P (" files opened in write or append mode (TEXTIO)."); + P (" --wave-opt-file=FILENAME read a wave option file"); -- P (" --threads=N use N threads for simulation"); P ("Additional features:"); P (" --has-feature=X test presence of feature X"); @@ -481,14 +482,13 @@ package body Grt.Options is end if; Last_Generic_Override := Over; end; - 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; setbuf (stdout, NULL_voids); setbuf (stderr, NULL_voids); + elsif Option'Length >= 16 and then Option (1 .. 16) = "--wave-opt-file=" + then + Wave_Opt_File.Parse.Start (Option (17 .. Option'Last)); elsif not Grt.Hooks.Call_Option_Hooks (Option) then Error_C ("unknown option '"); Error_C (Option); |