diff options
| author | Taras Madan <tarasmadan@google.com> | 2024-02-26 12:16:27 +0100 |
|---|---|---|
| committer | Taras Madan <tarasmadan@google.com> | 2024-02-26 16:13:18 +0000 |
| commit | 84628d8b68e4ad6e786e051072c4f11b692bd2b2 (patch) | |
| tree | dda79e0c664d2e6e7989156c3bce15d08291a86b | |
| parent | 2e48ae432bff2748add61827c9995b91c8f91030 (diff) | |
run.sh, Makefile: ask golangci-lint to preformat output
| -rwxr-xr-x | .github/workflows/run.sh | 1 | ||||
| -rw-r--r-- | Makefile | 6 |
2 files changed, 5 insertions, 2 deletions
diff --git a/.github/workflows/run.sh b/.github/workflows/run.sh index 3f6b00431..47aa102bd 100755 --- a/.github/workflows/run.sh +++ b/.github/workflows/run.sh @@ -8,5 +8,4 @@ set -o pipefail # Run the specified command and convert error messages to github format: # https://help.github.com/en/actions/reference/workflow-commands-for-github-actions#setting-an-error-message $1 "${@:2}" | \ - sed -E "s#/syzkaller/gopath/src/github.com/google/syzkaller/#\n#g" | \ sed -E 's#\s*([a-zA-Z0-9._/-]+):([0-9]+):(([0-9]+):)? (.+)#\0\n::error file=\1,line=\2,col=0\4::\5#' @@ -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 |