diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-05-13 18:27:55 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-05-13 18:36:16 +0200 |
commit | 8d3d2c734d5d5e7e3ac4a14dd691ba8175de67b3 (patch) | |
tree | 33e7f322cb0a6b01dd7613a4097c2d088a1c4a88 /src/flags.ads | |
parent | e1c0c598e11723f651aec8a3816fc7d3a36f24c5 (diff) | |
download | ghdl-8d3d2c734d5d5e7e3ac4a14dd691ba8175de67b3.tar.gz ghdl-8d3d2c734d5d5e7e3ac4a14dd691ba8175de67b3.tar.bz2 ghdl-8d3d2c734d5d5e7e3ac4a14dd691ba8175de67b3.zip |
options: support -Werror=WARN to transform one warning into an error.
Diffstat (limited to 'src/flags.ads')
-rw-r--r-- | src/flags.ads | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/flags.ads b/src/flags.ads index 096d889c0..5ad2ece2b 100644 --- a/src/flags.ads +++ b/src/flags.ads @@ -151,10 +151,6 @@ package Flags is -- --warn-undriven --Warn_Undriven : Boolean := False; - -- --warn-error - -- Turns warnings into errors. - Warn_Error : Boolean := False; - -- If True, disp original source line and a caret indicating the column. Flag_Caret_Diagnostics : Boolean := False; |