diff options
Diffstat (limited to 'libraries/vendors/ghdl.skipwarning.grcrules')
| -rw-r--r-- | libraries/vendors/ghdl.skipwarning.grcrules | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/libraries/vendors/ghdl.skipwarning.grcrules b/libraries/vendors/ghdl.skipwarning.grcrules new file mode 100644 index 000000000..0609b0608 --- /dev/null +++ b/libraries/vendors/ghdl.skipwarning.grcrules @@ -0,0 +1,14 @@ +# skip warnings +regexp=^.*?:\d+:\d+:warning: .* +skip=yes +========= + +# color errors +regexp=^.*?:\d+:\d+: .* +colours=red +count=stop +========= + +# skip additional message line on Linux +regexp=^ghdl: compilation error +skip=yes |