Synopsis: [PATCH] benchmarks/super-smack: OPTIONSNG & trim Makefile header State-Changed-From-To: open->closed State-Changed-By: ak State-Changed-When: Wed Nov 28 11:11:55 UTC 2012 State-Changed-Why: Committed, with minor changes. Thanks! http://www.freebsd.org/cgi/query-pr.cgi?pr=173563