From cd751f1e95c9ac5e73cf5e6b0423d05ec9adcc7f Mon Sep 17 00:00:00 2001
From: notgne2
Date: Sat, 14 Nov 2020 14:09:09 -0700
Subject: Pass extra build args to build command

---
 src/utils/push.rs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/utils/push.rs')

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())
-- 
cgit v1.2.3