From ee053201af23ab521f6a49dd84cac2db92f9608f Mon Sep 17 00:00:00 2001 From: Thomas Dreibholz Date: Sun, 16 Feb 2025 14:27:05 +0100 Subject: [PATCH] Updated CI scripts --- ci/build-tool | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/ci/build-tool b/ci/build-tool index a2fec14d..6d00e29b 100755 --- a/ci/build-tool +++ b/ci/build-tool @@ -1734,9 +1734,17 @@ if tool == 'info': # ====== Make source tarball ================================================ elif tool == 'make-source-tarball': skipPackageSigning = False + summaryFile = None for i in range(2, len(sys.argv)): if sys.argv[i] == '--skip-signing': skipPackageSigning = True + elif sys.argv[i][0:10] == '--summary=': + summaryFileName = sys.argv[i][10:] + try: + summaryFile = open(summaryFileName, 'w', encoding='utf-8') + except: + sys.stderr.write('ERROR: Unable to create summary file ' + summaryFileName + '!\n') + sys.exit(1) else: sys.stderr.write('ERROR: Bad make-source-tarball parameter ' + sys.argv[i] + '!\n') sys.exit(1)