diff options
Diffstat (limited to 'src/utils/push.rs')
| -rw-r--r-- | src/utils/push.rs | 5 |
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()) |