blob: cce27c1ac9fe7fdb1eba73b7a114c5e9d36e66bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
.PHONY: check-gcc
# Part of Coverity
COV_MAKE_LIBRARY ?= cov-make-library
CFLAGS ?= -Wall -Wno-uninitialized -Wno-unused-variable -Wno-unused-but-set-variable -Werror
check-gcc:
gcc -o /dev/null -fPIC -shared -include ./coverity_builtins.h $(CFLAGS) coverity_assert_model.c
cov-user-model: check-gcc
$(COV_MAKE_LIBRARY) -of user_models.xmldb --security coverity_assert_model.c
|
