diff m_option.c @ 11112:1d2c30ef6c11

Prefer TOOLS/cpuinfo over /proc/cpuinfo on Cygwin, approved by Sascha.
author diego
date Tue, 14 Oct 2003 12:14:48 +0000
parents 0e5e55232e9d
children 835822ce4bb1
line wrap: on
line diff