3 Mar
2010
3 Mar
'10
7:15 p.m.
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