From 80582073a5f2d279f930af292e276fb23786a1ff Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ond=C5=99ej=20Sur=C3=BD?= Date: Mon, 14 Mar 2022 19:01:43 +0100 Subject: [PATCH] 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. --- util/parse_tsan.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/parse_tsan.py b/util/parse_tsan.py index 72d5b0047a..ad4f55026c 100755 --- 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: