From 378b25a1e883408bf364190bcfe3a8a7146abd2b Mon Sep 17 00:00:00 2001
From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Thu, 6 Feb 2014 09:15:58 +0100
Subject: [PATCH] Send wvtest output to stdout rather than to stderr

It seems that we have problems with synchronization between stdout and
stderr. Before this problem is resolved, this should work around it.
---
 continuous/tests/wvtest.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/continuous/tests/wvtest.sh b/continuous/tests/wvtest.sh
index 47b4366..c52e475 100644
--- a/continuous/tests/wvtest.sh
+++ b/continuous/tests/wvtest.sh
@@ -44,7 +44,7 @@ _wvcheck()
 	if [ "$CODE" -ne 0 ]; then
 		OK=FAILED
 	fi
-	echo "! $WVCALLER_FILE:$WVCALLER_LINE  $TEXT  $OK" >&2
+	echo "! $WVCALLER_FILE:$WVCALLER_LINE  $TEXT  $OK"
 	if [ "$CODE" -ne 0 ]; then
 		exit $CODE
 	else
@@ -134,7 +134,7 @@ WVFAILRC()
 
 WVSTART()
 {
-	echo >&2
+	echo
 	_wvfind_caller
-	echo "Testing \"$*\" in $WVCALLER_FILE:" >&2
+	echo "Testing \"$*\" in $WVCALLER_FILE:
 }
-- 
2.39.2