#2721: Cactus does not detect `gettimeofday` timer

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

Comment (by Roland Haas):

With ##2722 we need to test on all clusters anyway and might just as well include this as well.

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