From: Ondřej Surý <ondrej@isc.org>
Date: Mon, 14 Mar 2022 18:01:43 +0000 (+0100)
Subject: Save parsed tsan files with .txt extension
X-Git-Tag: v9.19.0~49^2
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=80582073a5f2d279f930af292e276fb23786a1ff;p=thirdparty%2Fbind9.git

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 72d5b0047a1..ad4f55026c6 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: