# HG changeset patch
# User reimar
# Date 1368086850 0
# Node ID 7425021012b4a3422263c9b1a8386bc6f2c97b4f
# Parent  749f1c5c4267bbcaaa244cfc5a2da6e9e48e793a
Add script that submits a Coverity scan in an automated way.

diff -r 749f1c5c4267 -r 7425021012b4 Makefile
--- a/Makefile	Thu May 09 07:24:34 2013 +0000
+++ b/Makefile	Thu May 09 08:07:30 2013 +0000
@@ -766,6 +766,8 @@
 %-rc.o: %.rc
 	$(WINDRES) -I. $< -o $@
 
+ffmpeglibs: $(FFMPEGLIBS)
+
 $(FFMPEGLIBS): $(FFMPEGFILES) config.h
 	$(MAKE) -C ffmpeg $(@:ffmpeg/%=%)
 
diff -r 749f1c5c4267 -r 7425021012b4 TOOLS/coverity.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/TOOLS/coverity.sh	Thu May 09 08:07:30 2013 +0000
@@ -0,0 +1,8 @@
+rm -rf cov-int MPlayer.tgz
+make distclean
+svn up
+./configure $MPLAYER_COV_OPTS && make -j5 ffmpeglibs
+"$MPLAYER_COV_PATH"/bin/cov-build --dir cov-int make -j5
+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
+