mirror of
https://github.com/genuinetools/reg.git
synced 2024-08-20 22:00:23 -04:00
8e5eba8735
Signed-off-by: Jess Frazelle <acidburn@microsoft.com>
12 lines
381 B
Bash
Executable file
12 lines
381 B
Bash
Executable file
#!/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 ./...
|