Index: README.release
===================================================================
diff -u -rb43b9e26b9a226944347d36193f46ca648ae82da -r630319dd9908c74434b74d5e345e713a50d5b0c7
--- README.release	(.../README.release)	(revision b43b9e26b9a226944347d36193f46ca648ae82da)
+++ README.release	(.../README.release)	(revision 630319dd9908c74434b74d5e345e713a50d5b0c7)
@@ -18,7 +18,8 @@
          make "CC=clang"
          make "CC=clang" test
        * run static analysis:
-         cppcheck --enable=all generic/*.c	 
+         cppcheck --enable=all -DNDEBUG *.c
+	 /opt/local/bin/scan-build-mp-3.7 -enable-checker alpha make
        * configure without --enable-development
          make install
          make install-aol