[PPL-devel] [GIT] ppl/ppl(master): Apparently GNU Hurd only supports ITIMER_REAL.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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