K 10
svn:author
V 5
trasz
K 8
svn:date
V 27
2018-07-04T13:52:13.131444Z
K 7
svn:log
V 134
Disable pipepingtd benchmarks, to make it not depend on libthr.

Obtained from:	CheriBSD
MFC after:	2 weeks
Sponsored by:	DARPA, AFRL

END