#2721: Cactus does not detect `gettimeofday` timer
Reporter:Erik Schnetter
Status:open
Milestone:
Version:
Type:bug
Priority:major
Component:

Comment (by Roland Haas):

Applied as git hash 8a5bfc47 "Cactus: Regenerate configure" of cactus

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