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 af94847d2a2f4f2d38cfd927ddaee96503368ea8..ce2e6f2efb38b9c573a0375eb4647826b5091e31 100644 (file)
--- 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