diff options
| author | gingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7> | 2010-01-12 03:15:20 +0000 |
|---|---|---|
| committer | gingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7> | 2010-01-12 03:15:20 +0000 |
| commit | fb5957a16dea47ae4021c5d4c57b980cea02ee59 (patch) | |
| tree | abdfbed5924f5be4418f74a0afe50b248e41c330 /translate/grt/grt-options.adb | |
| parent | 8cca0b24e2c19eedecffdeec89a8a2898da1e362 (diff) | |
| download | ghdl-fb5957a16dea47ae4021c5d4c57b980cea02ee59.tar.gz ghdl-fb5957a16dea47ae4021c5d4c57b980cea02ee59.tar.bz2 ghdl-fb5957a16dea47ae4021c5d4c57b980cea02ee59.zip | |
ghdl 0.29 release.
Diffstat (limited to 'translate/grt/grt-options.adb')
| -rw-r--r-- | translate/grt/grt-options.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/translate/grt/grt-options.adb b/translate/grt/grt-options.adb index a272246be..6d7384342 100644 --- a/translate/grt/grt-options.adb +++ b/translate/grt/grt-options.adb @@ -281,6 +281,8 @@ package body Grt.Options is Disp_Signals_Map := True; elsif Argument = "--disp-signals-table" then Disp_Signals_Table := True; + elsif Argument = "--disp-sensitivity" then + Disp_Sensitivity := True; elsif Argument = "--stats" then Flag_Stats := True; elsif Argument = "--no-run" then |