Don't log to stdout when testing.

diff --git a/devel/cover b/devel/cover
index fe7fd59..9a7c112 100755 (executable)
--- a/devel/cover
+++ b/devel/cover
@@ -17,8 +17,8 @@ if [ -e $DIR ]; then
        rm -rf $DIR || exit 1
 fi
 mkdir $DIR || exit 1
        rm -rf $DIR || exit 1
 fi
 mkdir $DIR || exit 1

-rm -f darkhttpd.gcda
-./a.out $DIR --port $PORT &
+rm -f darkhttpd.gcda darkhttpd.log
+./a.out $DIR --port $PORT --log darkhttpd.log &

 # generates darkhttpd.gcda
 PID=$!
 kill -0 $PID || exit 1
 # generates darkhttpd.gcda
 PID=$!
 kill -0 $PID || exit 1