From 5f56fac2b90ce64d48ff6779e1932323251dcd96 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. (cherry picked from commit 80582073a5f2d279f930af292e276fb23786a1ff) --- 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: