From ea471349bfe6f6a95877947db18f72c4cf693630 Mon Sep 17 00:00:00 2001
From: Tobias Klauser <tklauser@distanz.ch>
Date: Fri, 15 Aug 2014 10:23:32 +0200
Subject: build: Add build flag to enable sparse checking of C source files

Similar to the 'make C=1' for the Linux kernel, wire up the sparse
command for our build system in a similar fashion. Use 'make C=1 [tool]'
to check the source files using sparse. Of course, the sparse tool needs
to be installed and available in your $PATH for this to work.

Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
---
 INSTALL | 1 +
 1 file changed, 1 insertion(+)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index 830f6a1..ee0a562 100644
--- a/INSTALL
+++ b/INSTALL
@@ -13,6 +13,7 @@ What additional tools next to your build-chain are required?
 
  - ccache (optional)
  - gpg (optional)
+ - sparse (optional)
 
  - pkg-config:		   all
  - flex, bison:		   bpfc, trafgen
-- 
cgit v1.2.3-54-g00ecf