#2721: Cactus does not detect `gettimeofday` timer

Reporter: Erik Schnetter Status: new Milestone: Version: Type: bug Priority: major Component:

The `gettimeofday` timer is not available any more in Cactus. This is the main timer used by Cactus to measure elapsed time.

PR [https://bitbucket.org/cactuscode/cactus/pull-requests/153%5D(https://bitbuck...) corrects this.

-- Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2721/cactus-does-not-de...