[PATCH] Document scan build

[Wald Commits]

# HG changeset patch
# User Andre Heinecke <andre.heinecke at intevation.de>
# Date 1411751144 -7200
# Node ID d9ecf3a83620eda551025e5223ad006c810ad0f8
# Parent  a548dd9a5dbe293ad3dc9a0e844070a62c99c2e8
Document scan build

diff -r a548dd9a5dbe -r d9ecf3a83620 INSTALL
--- a/INSTALL	Fri Sep 26 18:44:41 2014 +0200
+++ b/INSTALL	Fri Sep 26 19:05:44 2014 +0200
@@ -128,6 +128,16 @@
     cmake .. -DCMAKE_PREFIX_PATH=$YOURPREFIX \
     -DUSE_CLANG=TRUE \
     -DCMAKE_VERBOSE_MAKEFILE=TRUE
+    make
+
+To run scan build:
+
+    CXX=/usr/share/clang/scan-build/c++-analyzer \
+    CC=/usr/share/clang/scan-build/ccc-analyzer \
+    cmake .. -DCMAKE_PREFIX_PATH=$YOURPREFIX \
+    -DUSE_CLANG=TRUE \
+    -DCMAKE_VERBOSE_MAKEFILE=TRUE
+    scan-build make
 
 I386
 ====