commit 7bb4c5f47c85ebcc5439f8ca958d30e4b227da1d
parent 99ca39b38bf7cc12e637ea5017ff484aca5e5120
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date: Thu, 23 May 2019 17:48:11 +0200
ux
Diffstat:
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/taler-build/cat_failed.sh b/taler-build/cat_failed.sh
@@ -14,6 +14,9 @@ cat_failed ()
for trs in $(find "${1}" -name "*.trs") ; do
if head -q -n1 < ${trs} | grep -q FAIL; then
filename_log=$(echo ${trs}|sed -e 's/trs$/log/')
+ echo
+ echo "== DUMPING LOGS =="
+ echo
cat ${filename_log}
fi
done