diff --git a/scripts/extra/install_custom_ctypes.sh b/scripts/extra/install_custom_ctypes.sh index e546f587a7..16d99145c7 100755 --- a/scripts/extra/install_custom_ctypes.sh +++ b/scripts/extra/install_custom_ctypes.sh @@ -13,6 +13,9 @@ # installation to be successful, this directory needs to be writeable by the user # executing this script. +# some logging +echo ">>> Running ${BASH_SOURCE}" + # Initialise our bash functions TOPDIR=$(dirname $(realpath ${BASH_SOURCE})) source "${TOPDIR}"/../utils.sh @@ -74,6 +77,10 @@ else fi echo "Created temporary directory '${tmpdir}'" +# some logging +echo ">>> Checking contents under '${NESSI_SITE_INSTALL}'" +tree -d ${NESSI_SITE_INSTALL} + # check if custom_ctypes has already been installed if [[ -d ${NESSI_SITE_INSTALL}/lib ]]; then fatal_error "Error: Installation of custom_ctypes already found at '${NESSI_SITE_INSTALL}'"