Index: tools/autocheck.awk
===================================================================
--- tools/autocheck.awk	(revision 8781e9d05ac3f6aeaa3ad709c5af9efa3209b87a)
+++ tools/autocheck.awk	(revision 9a791eb9411b32c4c733f382971ad899794149b1)