aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorAndrei Vagin <avagin@google.com>2024-07-04 00:55:08 +0000
committerDmitry Vyukov <dvyukov@google.com>2024-07-08 06:39:50 +0000
commit7ca8bbea5b1d25d89927d7b017d7f7da4ab226a7 (patch)
tree4f36913f3a146462b82053e4a233fbce9069ffd9 /Makefile
parenteb4d8036c1b6035539881d798dd7e557b4a7d78f (diff)
vm/gvisor: add gvisor presubmit test
Download the latest gvisor release and run the syz-manager smoke-test suite. Signed-off-by: Andrei Vagin <avagin@google.com>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 51f53a032..7d6295913 100644
--- a/Makefile
+++ b/Makefile
@@ -382,6 +382,9 @@ presubmit_old: descriptions
TARGETARCH=mips64le TARGETVMARCH=mips64le $(MAKE) target
TARGETARCH=s390x TARGETVMARCH=s390x $(MAKE) target
+presubmit_gvisor: host target
+ ./tools/gvisor-smoke-test.sh
+
test: descriptions
$(GO) test -short -coverprofile=.coverage.txt ./...