From d1d32de841e530e828106f99f856a5535981361c Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Mon, 28 Sep 2020 16:08:15 +0400
Subject: [PATCH] dk: bug avec update-devel

---
 dk | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/dk b/dk
index be3198f..c5f6745 100755
--- a/dk
+++ b/dk
@@ -765,7 +765,9 @@ function build_update_apps() {
         fi
 
         DEVEL_SRCDIR="${var}_DEVEL_SRCDIR"; DEVEL_SRCDIR="${!DEVEL_SRCDIR}"
-        [ -n "$DEVEL_SRCDIR" ] || DEVEL_SRCDIR="$DEFAULT_DEVEL_SRCDIR/${URL##*/}"
+        if [ -z "$DEVEL_SRCDIR" -a -n "$URL" ]; then
+            DEVEL_SRCDIR="$DEFAULT_DEVEL_SRCDIR/${URL##*/}"
+        fi
 
         DEST="${var}_DEST"; DEST="${!DEST}"
         [ -n "$DEST" ] || DEST="$app/b"
@@ -792,7 +794,7 @@ function build_update_apps() {
         # calculer le type maintenant, on en a besoin pour le mode devel
         TYPE="${var}_TYPE"; TYPE="${!TYPE}"
 
-        if [ -n "$BUILD_UPDATE_DEVEL" ]; then
+        if [ -n "$BUILD_UPDATE_DEVEL" -a -n "$DEVEL_SRCDIR" ]; then
             mkdir -p "$DEST" || { eend; return 1; }
             DEST="$DEST/$NAME"