diff options
-rw-r--r-- | TOOLS/cpuinfo.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/TOOLS/cpuinfo.c b/TOOLS/cpuinfo.c index b984bd6376..1bdf2f30e2 100644 --- a/TOOLS/cpuinfo.c +++ b/TOOLS/cpuinfo.c @@ -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> |