|
@@ -4,10 +4,11 @@ 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
|
|
|
+# in the Jenkinsfile, otherwise let's just set a
|
|
|
# (somewhat pessimistic) default of 10 minutes.
|
|
|
-: ${GOMETALINTER_OPTS=--deadline=10m}
|
|
|
+: "${GOMETALINTER_OPTS=--deadline=10m}"
|
|
|
|
|
|
+# shellcheck disable=SC2086
|
|
|
gometalinter \
|
|
|
${GOMETALINTER_OPTS} \
|
|
|
- --config ${SCRIPTDIR}/gometalinter.json ./...
|
|
|
+ --config "${SCRIPTDIR}/gometalinter.json" ./...
|