Save parsed tsan files with .txt extension

When the parse tsan files have text extension they can be viewed
directly in the GitLab web UI without downloading them locally.

(cherry picked from commit 80582073a5f2d279f930af292e276fb23786a1ff)

diff --git a/util/parse_tsan.py b/util/parse_tsan.py
index 582d666cc0dc157d8d664215ca9e14e72020b5e4..7dfde3b13bddd532597ed8a36ae029bb29d85f79 100755 (executable)
--- a/util/parse_tsan.py
+++ b/util/parse_tsan.py
@@ -85,7 +85,7 @@ with open(sys.argv[1], "r", encoding='utf-8') as f:
                 DNAME = os.path.join(OUT, DNAME)
                 if not os.path.isdir(DNAME):
                     os.mkdir(DNAME)
-                FNAME = sha256(S.block.encode('utf-8')).hexdigest() + ".tsan"
+                FNAME = sha256(S.block.encode('utf-8')).hexdigest() + ".txt"
                 FNAME = os.path.join(DNAME, FNAME)
                 if not os.path.isfile(FNAME):
                     with open(FNAME, "w", encoding='utf-8') as w: