blob: f6791943a3f4ab91b0987de68080ccd23586965e [file] [log] [blame]
Neels Hofmeyr567d2052018-04-11 15:43:33 +02001#!/bin/sh
2# to prevent diffs due to timing and source file lines, mask some numbers
3
4for target in */expected-results.xml; do
5 sed -i "s/time='[^']*'/time='MASKED'/g" "$target"
6 sed -i 's/ttcn:[0-9]\+/ttcn:MASKED/g' "$target"
7done