[PPL-devel] Watchdog still not fully working on hurd

[Roberto Bagnara]

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 at cs.unipr.it