diff options
| author | Tristan Gingold <tgingold@free.fr> | 2023-02-12 09:43:03 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2023-02-12 09:43:03 +0100 |
| commit | 43fa0c0adc1e96db799c5f38943a863311452d56 (patch) | |
| tree | b572c29ff337e03ade57991d1117c53b34455e44 /doc | |
| parent | 96088c08fd94edbeba26f4a67821ea62b5077605 (diff) | |
| download | ghdl-43fa0c0adc1e96db799c5f38943a863311452d56.tar.gz ghdl-43fa0c0adc1e96db799c5f38943a863311452d56.tar.bz2 ghdl-43fa0c0adc1e96db799c5f38943a863311452d56.zip | |
doc: clarify diagnostic level output.
Close #2351
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/using/InvokingGHDL.rst | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/using/InvokingGHDL.rst b/doc/using/InvokingGHDL.rst index a4b9b1b51..624b789ab 100644 --- a/doc/using/InvokingGHDL.rst +++ b/doc/using/InvokingGHDL.rst @@ -747,7 +747,11 @@ Diagnostics Control .. option:: -fcolor-diagnostics .. option:: -fno-color-diagnostics - Control whether diagnostic messages are displayed in color. The default is on when the standard output is a terminal. + Control whether diagnostic messages are displayed in color. The + default is on when the standard output is a terminal. For + compatibility with other tools, when colors are enabled the + diagnostic level is always displayed. When colors are not enabled, + level ``error`` is not displayed. .. option:: -fdiagnostics-show-option .. option:: -fno-diagnostics-show-option |