aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2019-02-26 05:01:49 +0100
committerNeels Hofmeyr <neels@hofmeyr.de>2021-06-01 05:28:59 +0200
commit96f84ad89e329c46af6517b4f86014a2859a27dd (patch)
tree342a293700a6f05905d587f419325b7e76b04ba5
parent71b902938344192db7984cce9eafe0459867a231 (diff)
include logformat in log_merge.sh
-rwxr-xr-xlog_merge.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/log_merge.sh b/log_merge.sh
index 886b7884..4f02852f 100755
--- a/log_merge.sh
+++ b/log_merge.sh
@@ -36,7 +36,8 @@ for t in $TEST_CASES; do
PREFIX="$BASE_NAME-$t"
OUTPUT="$BASE_NAME.$t.merged"
ttcn3_logmerge $PREFIX-*.log > "$OUTPUT"
- echo "Generated $OUTPUT"
+ ttcn3_logformat "$OUTPUT" > "_$OUTPUT"
+ echo "Generated _$OUTPUT"
done
if [ "$2" = "--rm" ]; then