tree c833e43d8d96624a42790ae481b543819a3afb2b
parent 02383bcb3a0767d5f5825f94e43f0980151f54ca
author njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1134510288 +0000
committer njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1134510288 +0000

Die if a performance benchmark is missing.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5334 a5019735-40e9-0310-863c-91ae7b9d1cf9