# HG changeset patch
# User reimar
# Date 1396804662 0
# Node ID 5e89e80fa24116dc0a30d9b0580be4099e6649fd
# Parent  e45e76d9572ddf63025de3c0aeecb1bc993e27f9
Add example/current default Coverity compile options.

Suggestions for improvements welcome.

diff -r e45e76d9572d -r 5e89e80fa241 TOOLS/coverity.sh
--- a/TOOLS/coverity.sh	Sun Apr 06 14:28:12 2014 +0000
+++ b/TOOLS/coverity.sh	Sun Apr 06 17:17:42 2014 +0000
@@ -1,3 +1,4 @@
+MPLAYER_COV_OPTS="--enable-xvmc --enable-menu --enable-gui --enable-mga --enable-bl --enable-joystick --enable-radio --enable-s3fb --enable-tdfxfb --enable-tdfxvid --enable-wii --yasm=nasm"
 rm -rf cov-int MPlayer.tgz
 make distclean
 svn up