1234567891011 |
- #!/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 ./...
|