The benchmark tests (make bench) don't run out of the box
because they take longer then 30 seconds and php stops the
test, I fixed it easy by adding a php3.ini file. But out of
the box it fails. Is there maybe a way to specify in the .php
file a timeout just for that file, instead of in php3.ini.
It could be useful not just for the benchmark tests, also
for long reports and such.