From a2ae7cd304ec4de2e457e946aa9ba116a16a8356 Mon Sep 17 00:00:00 2001
From: Sebastian Pipping <sebastian@pipping.org>
Date: Mon, 8 May 2017 20:20:50 +0200
Subject: [PATCH] coverage.sh: Announce commands

---
 expat/coverage.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/expat/coverage.sh b/expat/coverage.sh
index 831d80b3..20789e4b 100755
--- a/expat/coverage.sh
+++ b/expat/coverage.sh
@@ -34,8 +34,8 @@ _configure() {
 
     (
         set -x
-        ./buildconf.sh
-        ./configure "${configure_args[@]}" "$@"
+        ./buildconf.sh &> configure.log
+        ./configure "${configure_args[@]}" "$@" &>> configure.log
     )
 }
 
@@ -66,8 +66,9 @@ _run() {
 
         _configure \
                 CFLAGS="${BASE_FLAGS}" \
-                CXXFLAGS="${BASE_FLAGS}" &> configure.log
+                CXXFLAGS="${BASE_FLAGS}"
 
+        set -x
         make buildlib &> build.log
 
         lcov -c -d "${capture_dir}" -i -o "${coverage_info}-zero" &> run.log