Module: ppl/ppl Branch: master Commit: 8ca010b524e44674465d28e6cadb6767067e5b28 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca010b524e44...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 3 22:13:57 2010 +0400

Apparently GNU Hurd only supports ITIMER_REAL. (Thanks to Michael Tautschnig: http://www.cs.unipr.it/pipermail/ppl-devel/2010-March/016072.html).

---

Watchdog/src/Watchdog.cc | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-)

diff --git a/Watchdog/src/Watchdog.cc b/Watchdog/src/Watchdog.cc index 9a8e8c7..554c724 100644 --- a/Watchdog/src/Watchdog.cc +++ b/Watchdog/src/Watchdog.cc @@ -47,8 +47,10 @@ namespace PWL = Parma_Watchdog_Library; #endif

// Cygwin only supports ITIMER_REAL. +// Apparently GNU Hurd also only supports ITIMER_REAL +// (see http://www.cs.unipr.it/pipermail/ppl-devel/2010-March/016072.html). // Profiling does not work on programs that use the ITIMER_PROF timer. -#if defined(__CYGWIN__) || defined(PWL_PROFILING) +#if defined(__CYGWIN__) || defined(__gnu_hurd__) || defined(PWL_PROFILING) #define THE_TIMER ITIMER_REAL #define THE_SIGNAL SIGALRM #else