diff Makefile.coverity @ 149:f9773b6368e0

improve documentation of .pst format. remove decrypt option from getidblock - we always decrypt.
author Carl Byington <carl@five-ten-sg.com>
date Sat, 28 Feb 2009 11:55:48 -0800
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Makefile.coverity	Sat Feb 28 11:55:48 2009 -0800
@@ -0,0 +1,17 @@
+default: all
+
+all:
+	rm -rf emit output
+	export PATH=$(PATH):$(PWD)/coverity/prevent-linux-2.4.6/bin;	\
+		cov-configure -co /usr/bin/gcc;								\
+		./configure && make clean;									\
+		cov-build -e emit -o output make
+	mv README README.save
+	mv README.COVERITY README
+	tar czvf libpst.tgz README emit output
+	mv README README.COVERITY
+	mv README.save README
+	rm -rf emit output
+	echo mv libpst.tgz /home/httpd/html/510sg
+	echo fixup-510 ns1 --dry-run
+