echo "Testing \"$*\" in $WVCALLER_FILE:" >&2
}
+
+WVDIE()
+{
+ local TEXT=$(_wvtextclean "$@")
+ _wvpushcall "$@"
+ _wvfind_caller
+ echo "! $WVCALLER_FILE:$WVCALLER_LINE $TEXT FAILED" 1>&2
+ exit 1
+}
+
+
# Local Variables:
# indent-tabs-mode: t
# sh-basic-offset: 8