# HG changeset patch
# User diego
# Date 1091664467 0
# Node ID a85bfb689e62a5d18f924f66ae231e000393bd42
# Parent  6b05d32f6bd5d89a35bbf82d1ba4e55597765d42
Some explanation what the tool is good for added.

diff -r 6b05d32f6bd5 -r a85bfb689e62 TOOLS/cpuinfo.c
--- a/TOOLS/cpuinfo.c	Thu Aug 05 00:05:15 2004 +0000
+++ b/TOOLS/cpuinfo.c	Thu Aug 05 00:07:47 2004 +0000
@@ -1,3 +1,6 @@
+/* small utility to extract CPU information
+ Used by configure to set CPU optimization levels on some operating
+ systems where /proc/cpuinfo is non-existent or unreliable. */
 
 #include <stdio.h>
 #include <sys/time.h>