Watchdog still not fully working on hurd
Hi all, It seems that the setitimer function is not yet fully implemented on GNU/Hurd. Apparently ITIMER_PROF is still not implemented. I'd suggest two changes to Watchdog/src/Watchdog.cc: - add || defined(__gnu_hurd__) in line 51 - add whitespace when throwing std::runtime_error in line 87 Best, Michael
On 03/02/2010 06:45 PM, Michael Tautschnig wrote:
It seems that the setitimer function is not yet fully implemented on GNU/Hurd. Apparently ITIMER_PROF is still not implemented. I'd suggest two changes to Watchdog/src/Watchdog.cc:
- add || defined(__gnu_hurd__) in line 51 - add whitespace when throwing std::runtime_error in line 87
Thanks Michael! I will push these changes to the PPL central Git repository tomorrow. -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
participants (2)
-
Michael Tautschnig -
Roberto Bagnara