diff TOOLS/cpuinfo.c @ 21840:06b71b6fdde7

dont write an index and dont use memory to build one if -noidx is specified ... maybe this should use its own option though instead of using -noidx ?
author michael
date Mon, 08 Jan 2007 16:23:31 +0000
parents ababf115f90d
children a6ce3c830723
line wrap: on
line diff