It seems that we have problems with synchronization between stdout and
stderr. Before this problem is resolved, this should work around it.
if [ "$CODE" -ne 0 ]; then
OK=FAILED
fi
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
if [ "$CODE" -ne 0 ]; then
exit $CODE
else
- echo "Testing \"$*\" in $WVCALLER_FILE:" >&2
+ echo "Testing \"$*\" in $WVCALLER_FILE: