From d6e78b9665202f9bb27486a063bffc57bcc39f53 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Fri, 22 Jul 2022 19:12:10 +0400
Subject: [PATCH] dkbuild: maj messages debug

---
 dkbuild | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/dkbuild b/dkbuild
index c9f2346..c8dd9cc 100755
--- a/dkbuild
+++ b/dkbuild
@@ -1025,14 +1025,16 @@ function ensure_projdir() {
     [ -f "$DKBUILD" ] || die "$(ppath "$DKBUILD"): fichier de build introuvable"
 
     if [ "$CONFIG" == none ]; then
-        :
+        edebug "no default config used"
     elif [ -n "$CONFIG" ]; then
         setx CONFIG=abspath "$CONFIG"
+        edebug "using config $CONFIG"
     else
         local config
         for config in ~/.dkbuild.env /etc/dkbuild.env; do
             if [ -f "$config" ]; then
                 CONFIG="$config"
+                edebug "using default config $CONFIG"
                 break
             fi
         done