view TOOLS/coverity.sh @ 36794:138582cbff16

configure: Make the XShape extension optional. The GUI compiles and runs without it. Although some skins will look ugly, there are skins that not even require the extension.
author ib
date Wed, 19 Feb 2014 16:58:41 +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