From 899e355cffc25a2074760e8bfd2c07ede0caa727 Mon Sep 17 00:00:00 2001
From: Vishesh Handa <me@vhanda.in>
Date: Sat, 19 Oct 2019 15:16:45 +0100
Subject: [PATCH] gj_common: Makefile add infer command

---
 gj_common/Makefile | 3 +++
 1 file changed, 3 insertions(+)

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