Disable pipepingtd benchmarks, to make it not depend on libthr.
Obtained from: CheriBSD
MFC after: 2 weeks
Sponsored by: DARPA, AFRL
Description
Description
Details
Details
- Provenance
trasz Authored on - Parents
- rS335944: Make the pipeping benchmarks work with larger buffer sizes.
- Branches
- Unknown
- Tags