changeset 36583:322ffa4a22d2

coverity.sh: Avoid submitting broken builds to coverity.
author reimar
date Mon, 20 Jan 2014 22:32:41 +0000
parents b28f3ff37ae7
children 5fec70008532
files TOOLS/coverity.sh
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/TOOLS/coverity.sh	Mon Jan 20 22:08:48 2014 +0000
+++ b/TOOLS/coverity.sh	Mon Jan 20 22:32:41 2014 +0000
@@ -1,8 +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
+./configure $MPLAYER_COV_OPTS && make -j5 ffmpeglibs || exit 1
+"$MPLAYER_COV_PATH"/bin/cov-build --dir cov-int make -j5 || exit 1
 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