diff --git a/gj_common/Makefile b/gj_common/Makefile index 2a58f1b1..3da780aa 100644 --- a/gj_common/Makefile +++ b/gj_common/Makefile @@ -11,3 +11,6 @@ shell: cppcheck: cppcheck --enable=all --suppress=unusedFunction common.c gitjournal.c keygen.c + +infer: + infer run -- make