
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