dkbuild: support profil nu

This commit is contained in:
Jephté Clain 2023-08-07 13:40:31 +04:00
parent c0b130fd29
commit 6ddb870a56
1 changed files with 8 additions and 0 deletions

View File

@ -1418,6 +1418,14 @@ function resolve_dists_profiles() {
} }
load_dkbuild load_dkbuild
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
fi
## ensuite vérifier si on est dans la bonne distribution ## ensuite vérifier si on est dans la bonne distribution
edebug "Calcul de la distribution courante" edebug "Calcul de la distribution courante"
reset_functions reset_functions