From d0ab00e0a22cab8f00d2b1b8c6904c68ff3fa09a Mon Sep 17 00:00:00 2001 From: Roger Zanoni Date: Mon, 24 Apr 2023 13:56:10 +0200 Subject: [PATCH 2/9] Add an option to override the default distrib directory name --- tools/make_distrib.py | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/tools/make_distrib.py b/tools/make_distrib.py index ea798b86f..6ed748fe7 100644 --- a/tools/make_distrib.py +++ b/tools/make_distrib.py @@ -465,6 +465,11 @@ parser.add_option( dest='baseoutpath', default='', help="Use an anternative base path for the generated gn outputs instead of using chromium source dir") +parser.add_option( + '--dist-path-name', + dest='distpathname', + default='', + help="Override the default name of the distribution output path.") parser.add_option( '--output-dir', dest='outputdir', @@ -677,6 +682,9 @@ else: if options.ozone: output_dir_name = output_dir_name + '_ozone' +if options.distpathname != '': + output_dir_name = options.distpathname + '_' + binary_arch + output_dir = create_output_dir(output_dir_name, options.outputdir) # create the README.TXT file -- 2.42.0