From aae0e089108c437a455e751d70aacb957147a79f Mon Sep 17 00:00:00 2001 From: Marcin Grzejszczak Date: Thu, 28 Mar 2019 22:24:03 +0100 Subject: [PATCH] Should work --- docs/src/test/bash/build-helper.sh | 1 + docs/src/test/bash/run-bats.sh | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) 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"