#2721: Cactus does not detect `gettimeofday` timer - Trac

8 May 2023


      #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](https://bitbucket.org/cactuscode/cactus/commits/8a5bfc479e04548f4ef9fdc5cce0...) "Cactus: Regenerate configure" of [cactus](https://bitbucket.org/cactuscode/cactus)
--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2721/cactus-does-not-de...