#!/usr/bin/env bash | |
set -e -o pipefail | |
SCRIPTDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" | |
# CI platforms differ, so per-platform GOMETALINTER_OPTS can be set | |
# from a platform-specific Dockerfile, otherwise let's just set | |
# (somewhat pessimistic) default of 10 minutes. | |
gometalinter \ | |
${GOMETALINTER_OPTS:--deadine 10m} \ | |
--config $SCRIPTDIR/gometalinter.json ./... |