view TOOLS/coverity.sh @ 36895:5616bd62fa26

Fix bug with hpotmeter/vpotmeter in the Win32 GUI. Allow a hpotmeter/vpotmeter without button. (The rendering should be fixed, actually, because it only renders the button but not the phases image.)
author ib
date Tue, 11 Mar 2014 12:48:59 +0000
parents 322ffa4a22d2
children 5e89e80fa241
line wrap: on
line source

rm -rf cov-int MPlayer.tgz
make distclean
svn up
./configure $MPLAYER_COV_OPTS && make -j5 ffmpeglibs || exit 1
"$MPLAYER_COV_PATH"/bin/cov-build --dir cov-int make -j5 || exit 1
tar -czf MPlayer.tgz cov-int
curl --form file=@MPlayer.tgz --form project=MPlayer --form password="$MPLAYER_COV_PWD" --form email="$MPLAYER_COV_EMAIL" --form version=2.5 --form description="automated run" http://scan5.coverity.com/cgi-bin/upload.py