summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2019-02-26 05:01:49 +0100
committerNeels Hofmeyr <neels@hofmeyr.de>2019-07-13 05:55:29 +0200
commit36f6ab950d78890ad2d8e9d9a660ccd077a08cbc (patch)
tree340a8f6ca2df482e4455b8bbae75b45470217717
parent55f36a1f13c104608cb6c699425cbfcaf569a1cd (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