view Makefile.coverity @ 289:cc8ee701f190

pst_block_offset elements are unsigned; consistent usage of pst_malloc and pst_realloc
author Carl Byington <carl@five-ten-sg.com>
date Fri, 27 May 2011 11:36:49 -0700
parents f9773b6368e0
children
line wrap: on
line source

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