Ignore chars if they are not UTF-8
Signed-off-by: Luke Mondy <luke.mondy@data61.csiro.au>
diff --git a/libsel4test/tools/extract_results.py b/libsel4test/tools/extract_results.py
index 8cc9b0a..ea36113 100755
--- a/libsel4test/tools/extract_results.py
+++ b/libsel4test/tools/extract_results.py
@@ -66,7 +66,7 @@
def main():
parser = argparse.ArgumentParser('Cleanup messy XML output from sel4test')
parser.add_argument('input',
- nargs='?', help='Input file', type=argparse.FileType('r'),
+ nargs='?', help='Input file', type=argparse.FileType('r', errors="ignore"),
default=sys.stdin)
parser.add_argument('output',
nargs='?', help='Output file', type=argparse.FileType('w'),
