diff options
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 ()) |