From 5cb4112cd01f2f44a412e145a34926d64c5ec1ca Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Fri, 18 Aug 2023 12:39:17 +0400
Subject: [PATCH] dkbuild: bug profil unitaire

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

diff --git a/dkbuild b/dkbuild
index abcea64..0a7fc3c 100755
--- a/dkbuild
+++ b/dkbuild
@@ -1427,12 +1427,14 @@ function resolve_dists_profiles() {
     }
     load_dkbuild
 
+    local MANUAL_SETPROFILES=
     if [ -z "$SETPROFILES_DONE" -a -n "$PROFILE" ]; then
         # Si l'utilisateur spécifie un profil mais qu'aucun profil n'a été
         # défini dans la configuration, considérer que c'est cet unique profil
         # qui a été défini
         SETPROFILES=("$PROFILE")
         SETPROFILES_DONE=1
+        MANUAL_SETPROFILES=1
     fi
 
     ## ensuite vérifier si on est dans la bonne distribution
@@ -1499,6 +1501,10 @@ function resolve_dists_profiles() {
     }
     load_dkbuild
 
+    if [ -n "$MANUAL_SETPROFILES" ]; then
+        setprofiles "$PROFILE"
+    fi
+
     ## Si pas de distribution ou de profil, remplacer par valeur vide
     if [ ${#DISTS[*]} -eq 0 ]; then
         SETDISTS=("")