aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2019-02-26 05:01:49 +0100
committerNeels Hofmeyr <neels@hofmeyr.de>2019-11-28 01:47:10 +0100
commit67add5eb78c05a107771e41e844a90672334c4d3 (patch)
treee8e4a5eee73bd40341deee8e8c6ffa71c2b9ea60
parent98caf1ca1c11e7d077ae68becf4af9921bbddab3 (diff)
include logformat in log_merge.shneels/msc
-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