summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2019-02-26 05:01:49 +0100
committerNeels Hofmeyr <neels@hofmeyr.de>2020-06-30 05:29:29 +0200
commit082fc87737d13760f6f4d9c2455c3831819f60be (patch)
tree7c524ce1a3e6dc272244192598c1c5529598c98e
parent733abf9f7d7ba241de0f5a69b6fb5c63eb6c2b04 (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 886b788..4f02852 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