diff runscimark.sh @ 2214:30fd69882184

More build system adjustments.
author Thomas Wuerthinger <thomas.wuerthinger@gmail.com>
date Mon, 21 Feb 2011 19:53:48 +0100
parents 8d88c9ac9247
children b21123d5a693
line wrap: on
line diff