commit 4039a9e56239ddd781927d41d7aa0e2d45c0fe3c
parent c071037d1ea370a0760544acf5397fc1cc1b11e0
Author: finwo <finwo@pm.me>
Date: Wed, 18 Oct 2023 00:03:53 +0200
Add logging before ext detection to see what's broken
Diffstat:
2 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/dist/dep b/dist/dep
@@ -308,6 +308,8 @@ function cmd_install_dep {
# Fetch package.ini for the dependency
mkdir -p "${CMD_INSTALL_PKG_DEST}/${name}"
+ echo "name : ${name}"
+ echo "origin: ${origin}"
case "${origin##*.}" in
ini)
# Download the package.ini for the dependency
diff --git a/src/command/install/index.sh b/src/command/install/index.sh
@@ -79,6 +79,8 @@ function cmd_install_dep {
# Fetch package.ini for the dependency
mkdir -p "${CMD_INSTALL_PKG_DEST}/${name}"
+ echo "name : ${name}"
+ echo "origin: ${origin}"
case "${origin##*.}" in
ini)
# Download the package.ini for the dependency