modules
/
nutools
10
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

dkbuild: bug profil unitaire

This commit is contained in:
Jephté Clain 2023-08-18 12:39:17 +04:00
parent f424f41561
commit 5cb4112cd0
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
dkbuild
View File

@ -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=("")