2017-08-17 17:52:14 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
set -e -o pipefail
|
|
|
|
|
|
|
|
SCRIPTDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
|
2017-09-07 18:59:56 +00:00
|
|
|
# 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.
|
2018-01-16 22:33:06 +00:00
|
|
|
: ${GOMETALINTER_OPTS=--deadline=10m}
|
|
|
|
|
2017-09-07 18:59:56 +00:00
|
|
|
gometalinter \
|
2018-01-16 22:33:06 +00:00
|
|
|
${GOMETALINTER_OPTS} \
|
2018-12-22 19:18:33 +00:00
|
|
|
--config ${SCRIPTDIR}/gometalinter.json ./...
|