diff options
author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-05-23 17:48:11 +0200 |
---|---|---|
committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-05-23 17:48:11 +0200 |
commit | 7bb4c5f47c85ebcc5439f8ca958d30e4b227da1d (patch) | |
tree | b4a78aa02c176f2d0b25e0f561c89e72d9d208ed /taler-build | |
parent | 99ca39b38bf7cc12e637ea5017ff484aca5e5120 (diff) | |
download | deployment-7bb4c5f47c85ebcc5439f8ca958d30e4b227da1d.tar.gz deployment-7bb4c5f47c85ebcc5439f8ca958d30e4b227da1d.tar.bz2 deployment-7bb4c5f47c85ebcc5439f8ca958d30e4b227da1d.zip |
ux
Diffstat (limited to 'taler-build')
-rwxr-xr-x | taler-build/cat_failed.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/taler-build/cat_failed.sh b/taler-build/cat_failed.sh index 6ea2ffb..7f57db1 100755 --- 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 |