# lint the bash scripts
for shell_script in $(find ${WORKSPACE}/ -type f -name *.sh); do
echo "--> Checking '${shell_script}' shell script..."
- shellcheck --color=never ${shell_script}
+ shellcheck --color=never --source-path="${WORKSPACE}" --external-sources \
+ --format=tty ${shell_script}
lint_exit_code=$?
if [[ $lint_exit_code != 0 ]]; then
exit_code=$lint_exit_code