annotate TOOLS/coverity.sh @ 36263:ea4c4dbae852

Cosmetic: Adjust indent.
author ib
date Sat, 13 Jul 2013 19:48:12 +0000
parents 7425021012b4
children 322ffa4a22d2
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
7425021012b4 Add script that submits a Coverity scan in an automated way.
reimar
parents:
diff changeset
4 ./configure $MPLAYER_COV_OPTS && make -j5 ffmpeglibs
7425021012b4 Add script that submits a Coverity scan in an automated way.
reimar
parents:
diff changeset
5 "$MPLAYER_COV_PATH"/bin/cov-build --dir cov-int make -j5
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