annotate TOOLS/coverity.sh @ 36905:bff7c54aa8f1

Increase arithmetic precision.
author ib
date Wed, 12 Mar 2014 13:24:34 +0000
parents 322ffa4a22d2
children 5e89e80fa241
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
36159
7425021012b4 Add script that submits a Coverity scan in an automated way.
reimar
parents:
diff changeset
1 rm -rf cov-int MPlayer.tgz
7425021012b4 Add script that submits a Coverity scan in an automated way.
reimar
parents:
diff changeset
2 make distclean
7425021012b4 Add script that submits a Coverity scan in an automated way.
reimar
parents:
diff changeset
3 svn up
36583
322ffa4a22d2 coverity.sh: Avoid submitting broken builds to coverity.
reimar
parents: 36159
diff changeset
4 ./configure $MPLAYER_COV_OPTS && make -j5 ffmpeglibs || exit 1
322ffa4a22d2 coverity.sh: Avoid submitting broken builds to coverity.
reimar
parents: 36159
diff changeset
5 "$MPLAYER_COV_PATH"/bin/cov-build --dir cov-int make -j5 || exit 1
36159
7425021012b4 Add script that submits a Coverity scan in an automated way.
reimar
parents:
diff changeset
6 tar -czf MPlayer.tgz cov-int
7425021012b4 Add script that submits a Coverity scan in an automated way.
reimar
parents:
diff changeset
7 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
7425021012b4 Add script that submits a Coverity scan in an automated way.
reimar
parents:
diff changeset
8