aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2019-02-26 05:01:49 +0100
committerNeels Hofmeyr <neels@hofmeyr.de>2020-10-15 02:09:13 +0000
commitf843840707060a4753a3faca9d3aeae927d189dc (patch)
tree56a408230aa9482f0fe55e92d9b76150694ca3a4
parent419b140064a9801d4352219ddc2c2fa5a0eb8a64 (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