wvtest.sh: add WVDIE().

Signed-off-by: Rob Browning <rlb@defaultvalue.org>

diff --git a/wvtest.sh b/wvtest.sh
index 05f6f34a24be38da9c2d63ac355085e3a5abe3a5..e0679078069c5907e38924adc9a35074ef3bae70 100755 (executable)
--- a/wvtest.sh
+++ b/wvtest.sh
@@ -144,6 +144,15 @@ WVSTART()
        echo "Testing \"$*\" in $WVCALLER_FILE:" >&2
 }
 
+
+WVDIE()
+{
+    echo "$*" 1>&2
+    _wvbacktrace
+    exit 1
+}
+
+
 # Local Variables:
 # indent-tabs-mode: t
 # sh-basic-offset: 8