diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-05-25 19:48:09 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-05-25 21:13:32 +0200 |
| commit | ab1a4bd15ed0d9e8c8ecbffd62e11e2c78ff1f28 (patch) | |
| tree | 709d980736cac56ebfec52254b55343d7858fbdb /src/grt/grt-severity.ads | |
| parent | dc90bedd6d86df9a9ef74bcdd51c7c3400669f29 (diff) | |
| download | ghdl-ab1a4bd15ed0d9e8c8ecbffd62e11e2c78ff1f28.tar.gz ghdl-ab1a4bd15ed0d9e8c8ecbffd62e11e2c78ff1f28.tar.bz2 ghdl-ab1a4bd15ed0d9e8c8ecbffd62e11e2c78ff1f28.zip | |
grt: implement --backtrace-severity. For #1338
Diffstat (limited to 'src/grt/grt-severity.ads')
| -rw-r--r-- | src/grt/grt-severity.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/grt/grt-severity.ads b/src/grt/grt-severity.ads index 75d8d90d9..681f3c30c 100644 --- a/src/grt/grt-severity.ads +++ b/src/grt/grt-severity.ads @@ -30,4 +30,7 @@ package Grt.Severity is Warning_Severity : constant Integer := 1; Error_Severity : constant Integer := 2; Failure_Severity : constant Integer := 3; + + -- Value returned by Parse_Severity for 'none'. + None_Severity : constant Integer := 4; end Grt.Severity; |