From 0839b6851401708368860ae07d6895d1f1878539 Mon Sep 17 00:00:00 2001 From: Thomas Roeblitz Date: Tue, 4 Jun 2024 17:21:19 +0200 Subject: [PATCH] replace tree with ls --- scripts/extra/install_custom_ctypes.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/extra/install_custom_ctypes.sh b/scripts/extra/install_custom_ctypes.sh index 16d99145c7..2bdc34a66c 100755 --- a/scripts/extra/install_custom_ctypes.sh +++ b/scripts/extra/install_custom_ctypes.sh @@ -79,7 +79,7 @@ echo "Created temporary directory '${tmpdir}'" # some logging echo ">>> Checking contents under '${NESSI_SITE_INSTALL}'" -tree -d ${NESSI_SITE_INSTALL} +ls -lR ${NESSI_SITE_INSTALL} # check if custom_ctypes has already been installed if [[ -d ${NESSI_SITE_INSTALL}/lib ]]; then