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 00f9cbba9c54d284ca4edbffec2acdbb2e013d91..101ac5314bbb3cb35b7e94d138e889499bd94ded 100755 (executable)
--- a/util/parse_tsan.py
+++ b/util/parse_tsan.py
@@ -84,7 +84,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: