From: Mark Wooding <mdw@distorted.org.uk>
Date: Fri, 19 Feb 2016 21:49:33 +0000 (+0000)
Subject: server/tests.at (WITH_TRIPEX): Strip early tracing from the stderr file.
X-Git-Tag: 1.0.0pre18~13
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/tripe/commitdiff_plain/377824e56588db1136d9a991ba77ae902556991e?hp=9867bea0e9719d3e66b9b1504c728579a9a6b39c

server/tests.at (WITH_TRIPEX): Strip early tracing from the stderr file.

So we end up with a `...full' version.
---

diff --git a/server/tests.at b/server/tests.at
index af94847d..ce2e6f2e 100644
--- a/server/tests.at
+++ b/server/tests.at
@@ -109,12 +109,13 @@ $3
 ) && :; } | {
   cd $1
   echo TRIPE $2 >&2
-  WITH_STRACE([tripe], [TRIPE $2 >server-output.full 2>server-errors])
+  WITH_STRACE([tripe], [TRIPE $2 >server-output.full 2>server-errors.full])
   stat=$?
   echo $stat >server-status
   if test $stat -ne 0; then
-    echo "exit status: $stat" >>server-errors
+    echo "exit status: $stat" >>server-errors.full
   fi
+  grep -v '^+ tripe: ' server-errors.full >server-errors
 
   ## We interrupt this relatively sensible macro for an especially awful
   ## hack.  The tripe server emits warnings which are often caused by lack of