Revert "Make verify-typecheck.sh only check valid targets for a platform"

This reverts commit e48aa09340.
This commit is contained in:
Jordan Liggitt
2024-01-19 07:54:31 -08:00
parent fbb2e6293f
commit 8b22cb4696
2 changed files with 4 additions and 27 deletions

View File

@@ -294,11 +294,7 @@ func main() {
}()
f := false
if len(args) != 0 {
serialFprintf(os.Stdout, "type-checking %s against %s\n", plat, args)
} else {
serialFprintf(os.Stdout, "type-checking %s\n", plat)
}
serialFprintf(os.Stdout, "type-checking %s\n", plat)
errors, err := c.verify(plat)
if err != nil {
serialFprintf(os.Stderr, "ERROR(%s): failed to verify: %v\n", plat, err)