From c866cb7dd017c00b0e2123f2f89ec6570abe52f8 Mon Sep 17 00:00:00 2001
From: Jordan Liggitt <liggitt@google.com>
Date: Thu, 30 Jul 2020 12:43:57 -0400
Subject: [PATCH] Make verify-typecheck detect errors better

---
 test/typecheck/main.go | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/typecheck/main.go b/test/typecheck/main.go
index 29d74de48dd..37574ad4df2 100644
--- a/test/typecheck/main.go
+++ b/test/typecheck/main.go
@@ -297,6 +297,7 @@ func main() {
 			errors, err := c.verify(plat)
 			if err != nil {
 				serialFprintf(os.Stderr, "ERROR(%s): failed to verify: %v\n", plat, err)
+				f = true
 			} else if len(errors) > 0 {
 				for _, e := range errors {
 					// Special case CGo errors which may depend on headers we