gometalinter 381 B

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