diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2023-03-06 10:03:41 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2023-03-06 10:03:41 +0200 |
| commit | 4e2caf1e383a8e90d874b1c086343703f91475d9 (patch) | |
| tree | 0d0f6339ba9dd3e3ee9a3b798209a94e2f098e98 /bpkg/system-package-manager-debian.cxx | |
| parent | 2ae552a8c064653130d5ecdbe7a9175988268402 (diff) | |
Add --debian-build-option to pass additional options to dpkg-buildpackage
Diffstat (limited to 'bpkg/system-package-manager-debian.cxx')
| -rw-r--r-- | bpkg/system-package-manager-debian.cxx | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bpkg/system-package-manager-debian.cxx b/bpkg/system-package-manager-debian.cxx index 92a32f9..3fb93c3 100644 --- a/bpkg/system-package-manager-debian.cxx +++ b/bpkg/system-package-manager-debian.cxx @@ -3145,6 +3145,11 @@ namespace bpkg args.push_back ((jobs_arg = "--jobs=" + to_string (n)).c_str ()); } + // Pass any additional options specified by the user. + // + for (const string& o: ops_->debian_build_option ()) + args.push_back (o.c_str ()); + args.push_back (nullptr); if (ops_->debian_prepare_only ()) |