diff --git a/make.rs b/make.rs index 816a9d97f8eef2502ddce12dbd129ab9e964f6bb..ec5dba9008f24259bbe35c61d89f6356c8aa94a9 100755 --- a/make.rs +++ b/make.rs @@ -225,12 +225,14 @@ fn docker_images_to_table(lines: String) -> Table { table } +// NOTE: this could be migrated to [`nob.rs`](https://gitlab.isae-supaero.fr/a.stevan/nob.rs) fn extend_and_run(cmd: &[&str], args: &[&str]) { let mut cmd = cmd.to_vec(); cmd.extend_from_slice(&args); nob::run_cmd_as_vec_and_fail!(cmd); } +// NOTE: this could be migrated to [`nob.rs`](https://gitlab.isae-supaero.fr/a.stevan/nob.rs) fn extend_and_run_and_capture_silent(cmd: &[&str], args: &[&str]) -> String { let mut cmd = cmd.to_vec(); cmd.extend_from_slice(&args);