diff --git a/docs/src/test/bash/build-helper.sh b/docs/src/test/bash/build-helper.sh index c61747ed..ad81b537 100755 --- a/docs/src/test/bash/build-helper.sh +++ b/docs/src/test/bash/build-helper.sh @@ -9,6 +9,7 @@ set -o pipefail ROOT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" ROOT_DIR="${ROOT_DIR}/../../.." +echo "Root directory is [${ROOT_DIR}]" function usage { echo "usage: $0: " diff --git a/docs/src/test/bash/run-bats.sh b/docs/src/test/bash/run-bats.sh index 238e2874..f185680e 100755 --- a/docs/src/test/bash/run-bats.sh +++ b/docs/src/test/bash/run-bats.sh @@ -9,7 +9,7 @@ set -o pipefail ROOT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" -"${ROOT_DIR}"/build-helper.sh "initialize-submodules" +"${ROOT_DIR}"/build-helper.sh "initialize-submodules" || echo "Failed to init submodules" "${ROOT_DIR}"/build-helper.sh "download-shellcheck" "${ROOT_DIR}"/build-helper.sh "run-shellcheck" "${ROOT_DIR}"/build-helper.sh "download-bats"