diff options
Diffstat (limited to 'libraries/vendors/ghdl.skipwarning.grcrules')
| -rw-r--r-- | libraries/vendors/ghdl.skipwarning.grcrules | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/libraries/vendors/ghdl.skipwarning.grcrules b/libraries/vendors/ghdl.skipwarning.grcrules deleted file mode 100644 index 0609b0608..000000000 --- a/libraries/vendors/ghdl.skipwarning.grcrules +++ /dev/null @@ -1,14 +0,0 @@ -# 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 |