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.

diff --git a/util/parse_tsan.py b/util/parse_tsan.py
index 72d5b0047a14bd7aadd84a3db8bb1f137ea763a8..ad4f55026c665886a0d7614de5a43c4873fdbd8e 100755 (executable)
--- a/util/parse_tsan.py
+++ b/util/parse_tsan.py
@@ -86,7 +86,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: