annotate TOOLS/coverity.sh @ 36948:a5537f70df8e

Change assignment of stream in Win32 GUI. Adjust the code to the X11/GTK GUI.
author ib
date Sun, 23 Mar 2014 11:52:09 +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