travis final fix

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

@ -21,8 +21,7 @@ if [[ -z "$DOCKER_DIST" ]]; then
make test
fi
SHELLCHECK=$(command -v shellcheck; echo $?)
if [[ "$SHELLCHECK" -eq 0 ]]; then
if [[ ! -z "$(command -v shellcheck)" ]]; 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