[ET Trac] #2721: Cactus does not detect `gettimeofday` timer

[Roland Haas]

#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/8a5bfc479e04548f4ef9fdc5cce05cfc348631bb) "Cactus: Regenerate configure" of [cactus](https://bitbucket.org/cactuscode/cactus)

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2721/cactus-does-not-detect-gettimeofday-timer
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.einsteintoolkit.org/pipermail/trac/attachments/20230508/ea852053/attachment.htm>