#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