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