From 19de36adb5b7909bc7050eb120e0a8fb72a842af Mon Sep 17 00:00:00 2001 From: "biao716.wang" Date: Thu, 15 Sep 2022 15:33:57 +0900 Subject: [PATCH] Add --release option Change-Id: I2280e658bfa3f49e0d5616a3dd449f40700d4ce7 Signed-off-by: biao716.wang --- depanneur | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/depanneur b/depanneur index eac2ed6..ec1a7ae 100755 --- a/depanneur +++ b/depanneur @@ -204,6 +204,7 @@ my $preordered_list = ""; # List of ordered packages to support user defined bui my $profiling = ""; # Reference profiling report location. If set reports will be generated my $with_submodules = 0; #didn't export sub modules source code. my $work_done = 0; # Whether build jobs finished +my $release_tag = ""; # Override Release in spec file GetOptions ( "repository=s" => \@repos, @@ -267,6 +268,7 @@ GetOptions ( "preordered-list=s" => \$preordered_list, "profiling=s" => \$profiling, "with-submodules" => \$with_submodules, + "release=s" => \$release_tag, ); if ( $help ) { @@ -2080,6 +2082,9 @@ sub build_package { push @args, "--vm-kernel=$vmkernel"; } + if ($release_tag ne "") { + push @args, "--release=$release_tag"; + } my $redirect = ""; if ($MAX_THREADS > 1 ) { $redirect = "> /dev/null 2>&1"; -- 2.34.1