# HG changeset patch
# User reimar
# Date 1390257161 0
# Node ID 322ffa4a22d25934bd34d8e11085486f1eea7bc0
# Parent  b28f3ff37ae7146af7575eda8cf44fd0fae9d47b
coverity.sh: Avoid submitting broken builds to coverity.

diff -r b28f3ff37ae7 -r 322ffa4a22d2 TOOLS/coverity.sh
--- 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