Index: misc/check-glob.py
===================================================================
--- misc/check-glob.py	(revision 342a56fb7d496f8e81315e423dc9309308a74300)
+++ misc/check-glob.py	(revision 6dd74a91deaf351eb39ff277233faa17ef83cab5)
@@ -13,4 +13,5 @@
         self.path = None
         self.decl = {}
+        self.errs = []
 
     def visit_Typedef(self, node):
@@ -32,7 +33,7 @@
 
         elif self.decl[node.name] != decl:
-            raise Exception("mismatch for {} in {}:{}: {} <-> {}". \
-                            format(node.name, node.coord.file, node.coord.line, \
-                                   self.decl[node.name], decl))
+            self.errs.append("mismatch for {} in {}:{}: {} <-> {}". \
+                             format(node.name, node.coord.file, node.coord.line, \
+                                    self.decl[node.name], decl))
 
     def visit_FuncDef(self, node):
@@ -46,4 +47,8 @@
         self.visit(ast)
         self.path = None
+
+    def show_errs(self):
+        for err in self.errs:
+            print(err)
 
 path_ast = []
@@ -75,2 +80,3 @@
 
 print("")
+vis.show_errs()