}
+WVSKIP()
+{
+ local TEXT=$(_wvtextclean "$@")
+ _wvpushcall "$@"
+ _wvfind_caller
+ echo "! $WVCALLER_FILE:$WVCALLER_LINE $TEXT skip ok" 1>&2
+}
+
+
WVDIE()
{
- echo "$*" 1>&2
- _wvbacktrace
- exit 1
+ local TEXT=$(_wvtextclean "$@")
+ _wvpushcall "$@"
+ _wvfind_caller
+ echo "! $WVCALLER_FILE:$WVCALLER_LINE $TEXT FAILED" 1>&2
+ exit 1
}