From 634335a6925b81ea4fa69bb744ace04588e995b9 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Fri, 21 Mar 2025 18:22:59 +0400
Subject: [PATCH] dkbuild transporte plus d'options

---
 dkbuild | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/dkbuild b/dkbuild
index 4e66819..9edeac2 100755
--- a/dkbuild
+++ b/dkbuild
@@ -3041,6 +3041,14 @@ function build_action() {
         die "Pas encore implémenté" #XXX
         ;;
     build)
+        [ -n "$machine" ] && DKBUILD_CMD_ARGS+=(-m "$machine")
+        [ -n "$sync_src" ] && DKBUILD_CMD_ARGS+=(-s)
+        [ -n "$build" ] && DKBUILD_CMD_ARGS+=(-b)
+        [ -n "$no_cache" ] && DKBUILD_CMD_ARGS+=(--no-cache)
+        [ "$progress" == plain ] && DKBUILD_CMD_ARGS+=(--plain-output)
+        [ -n "$pull_image" ] && DKBUILD_CMD_ARGS+=(-U)
+        [ -n "$push_image" ] && DKBUILD_CMD_ARGS+=(-p)
+
         default checkout checkout="$update_src"
         default copy copy="$sync_src"
         default build build="$build" ${no_cache:+no-cache} ${pull_image:+pull} ${push_image:+push}