summaryrefslogtreecommitdiff
path: root/runcoverity.sh
AgeCommit message (Expand)Author
2023-06-01Fix deprecations and other warnings reported by coverityArne Schwabe
2022-10-07Update runcoverity script to work under LinuxArne Schwabe
2021-08-12Update coverity scriptArne Schwabe
2021-03-12Add small script to run coverityArne Schwabe