dep

commit e20e66165a29a4786f6ad55526a86e92f0c64d72
parent 7c662c0c578ca2d202c3d0fa9c8479c3281999ab
Author: finwo <finwo@pm.me>
Date:   Wed, 18 Oct 2023 00:07:00 +0200

Add forgotten build of previous commit

Diffstat:
M
dist/dep
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/dist/dep b/dist/dep
@@ -310,6 +310,7 @@ function cmd_install_dep {
     mkdir -p "${CMD_INSTALL_PKG_DEST}/${name}"
     echo "name  : ${name}"
     echo "origin: ${origin}"
+    echo "ext   : ${origin##*.}"
     case "${origin##*.}" in
       ini)
         # Download the package.ini for the dependency