travis final fix

pull/48/head
sobolevn 8 years ago
parent 7b7289b570
commit a1666c8de2
No known key found for this signature in database
GPG Key ID: FF672D568AE3C73E

@ -21,7 +21,8 @@ if [[ -z "$DOCKER_DIST" ]]; then
make test
fi
if [[ $(command -v shellcheck; echo $?) -eq 0 ]]; then
SHELLCHECK=$(command -v shellcheck; echo $?)
if [[ "$SHELLCHECK" -eq 0 ]]; then
echo 'running lint'
# If running a native build with lint param, do a lint:
find src -type f -name '*.sh' -print0 | xargs -0 -I {} shellcheck {}

Loading…
Cancel
Save