aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorTaras Madan <tarasmadan@google.com>2024-02-26 12:16:27 +0100
committerTaras Madan <tarasmadan@google.com>2024-02-26 16:13:18 +0000
commit84628d8b68e4ad6e786e051072c4f11b692bd2b2 (patch)
treedda79e0c664d2e6e7989156c3bce15d08291a86b /Makefile
parent2e48ae432bff2748add61827c9995b91c8f91030 (diff)
run.sh, Makefile: ask golangci-lint to preformat output
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 69e63e472..e379f8e0a 100644
--- a/Makefile
+++ b/Makefile
@@ -289,11 +289,15 @@ tidy: descriptions
-extra-arg=-DHOSTGOOS_$(HOSTOS)=1 -extra-arg=-DGIT_REVISION=\"$(REV)\" \
executor/*.cc
+ifdef CI
+ LINT-FLAGS := --out-format github-actions
+endif
+
lint:
# This should install the command from our vendor dir.
CGO_ENABLED=1 $(HOSTGO) install github.com/golangci/golangci-lint/cmd/golangci-lint
CGO_ENABLED=1 $(HOSTGO) build -buildmode=plugin -o bin/syz-linter.so ./tools/syz-linter
- bin/golangci-lint run ./...
+ bin/golangci-lint run $(LINT-FLAGS) ./...
presubmit:
$(MAKE) presubmit_aux