From f2008eb3da6d66c2418ed1215c443616f72c2753 Mon Sep 17 00:00:00 2001
From: DimitriFourny <fourny.d@gmail.com>
Date: Thu, 20 Feb 2025 10:12:29 +0100
Subject: [PATCH] Ignore unsupported UTF-8 characters

---
 scripts/runner.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/runner.py b/scripts/runner.py
index 7664042..3ceb258 100755
--- a/scripts/runner.py
+++ b/scripts/runner.py
@@ -71,7 +71,7 @@ def do_file(directory, f, max_task):
 
     txtlines = OrderedDict()
     for fil in possible_files:
-        lines = str(fil.read_text()).splitlines()
+        lines = str(fil.read_text(errors='replace')).splitlines()
         for line in lines:
             txtlines[line] = None