aboutsummaryrefslogtreecommitdiff
path: root/src/utils/push.rs
diff options
context:
space:
mode:
authornotgne22020-11-14 14:09:09 -0700
committerChristian Höppner2020-11-14 21:11:00 +0000
commitcd751f1e95c9ac5e73cf5e6b0423d05ec9adcc7f (patch)
treeed33c661a7abcbaa25c26a800bef3027e3f955ab /src/utils/push.rs
parent47978fcfc9362f659c1406fa60f1de7d21d1e50e (diff)
Pass extra build args to build command
Diffstat (limited to 'src/utils/push.rs')
-rw-r--r--src/utils/push.rs5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/utils/push.rs b/src/utils/push.rs
index d52fbbe..2ea259a 100644
--- a/src/utils/push.rs
+++ b/src/utils/push.rs
@@ -33,6 +33,7 @@ pub async fn push_profile(
deploy_defs: &super::DeployDefs<'_>,
keep_result: bool,
result_path: Option<&str>,
+ extra_build_args: &[String],
) -> Result<(), PushProfileError> {
info!(
"Building profile `{}` for node `{}`",
@@ -74,6 +75,10 @@ pub async fn push_profile(
(false, true) => build_command.arg("--no-link"),
};
+ for extra_arg in extra_build_args {
+ build_command = build_command.arg(extra_arg);
+ }
+
let build_exit_status = build_command
// Logging should be in stderr, this just stops the store path from printing for no reason
.stdout(Stdio::null())