diff options
| author | Daniel P. Berrangé <berrange@redhat.com> | 2022-05-04 16:16:47 +0100 |
|---|---|---|
| committer | John Levon <levon@movementarian.org> | 2022-05-09 23:28:10 +0100 |
| commit | f75110385495b8b580121e14afa5dfc9681a64a3 (patch) | |
| tree | 41a70523b9d5a9003d317bba90210105e640aa72 /Makefile | |
| parent | 17118f9b24eedb3380dad260dbd6a517392aaedb (diff) | |
| download | libvfio-user-f75110385495b8b580121e14afa5dfc9681a64a3.zip libvfio-user-f75110385495b8b580121e14afa5dfc9681a64a3.tar.gz libvfio-user-f75110385495b8b580121e14afa5dfc9681a64a3.tar.bz2 | |
github: add 'coverity.sh' script to replicate 'coverity' make target
Most of 'Makefile' will go away, but the 'coverity' target has a set
of commands that are used to run a Coverity code check from GitHub
workflows, or manually by maintainers. Putting this sequence of commands
in a shell script removes the dep on 'make'.
Signed-off-by: Daniel P. Berrangé <berrange@redhat.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions