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