Index: tools/autocheck.awk
===================================================================
--- tools/autocheck.awk	(revision 8781e9d05ac3f6aeaa3ad709c5af9efa3209b87a)
+++ tools/autocheck.awk	(revision 17aa6d19228b3aab97f8e989dd9a36d576f1d896)