diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2022-06-07 09:19:16 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2022-06-07 13:49:53 +0200 |
| commit | 846de3b6d47376bbaea95a4910eda36c300b8b99 (patch) | |
| tree | 8d54a326d656ec1b338e3d8ac25e03b85e80c412 /executor/executor_linux.h | |
| parent | c885789257c76ea4479ea36282f5e0a2c7861e26 (diff) | |
Makefile: run vet only once during presubmit
Go test runs vet tool on source files.
Vet tool takes insane amount of time on our auto-generated files.
We run go test in 3 presubmit stages, disable vet with -vet=off
in all but one presubmit stage. It should give the same coverage,
but save some latency and maybe reduce OOMs in race stage.
syzkaller$ TIME="%e %M" taskset -c 0 time go test -run=nothing ./prog
ok github.com/google/syzkaller/prog 0.162s [no tests to run]
88.59 6766736
syzkaller$ TIME="%e %M" taskset -c 0 time go test -run=nothing -vet=off ./prog
ok github.com/google/syzkaller/prog 0.159s [no tests to run]
40.22 5256900
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions