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 80582073a5)
This commit is contained in:
Ondřej Surý 2022-03-14 19:01:43 +01:00
parent 554d63fb51
commit 5f56fac2b9

View file

@ -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: