changeset 36159:7425021012b4

Add script that submits a Coverity scan in an automated way.
author reimar
date Thu, 09 May 2013 08:07:30 +0000
parents 749f1c5c4267
children d1a0ad142823
files Makefile TOOLS/coverity.sh
diffstat 2 files changed, 10 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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/%=%)
 
--- /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
+