Signal-related changes

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@2469 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/portable.h b/src/portable.h
index 2afe77c..b227f89 100644 (file)
--- a/src/portable.h
+++ b/src/portable.h
@@ -134,6 +134,13 @@ const char *gras_wsa_err2string(int errcode);
 #  include "xbt/context_win32.h" /* Manual reimplementation for prehistoric platforms */
 #endif
 
+/****
+ **** Signals
+ ****/
+#ifdef HAVE_SIGNAL_H
+# include <signal.h>
+#endif
+
 /****
  **** string handling (parts from http://www.ijs.si/software/snprintf/)
  ****/
@@ -178,9 +185,9 @@ extern int vasnprintf(char **ptr, size_t str_m, const char *fmt, va_list ap);
 #  include <execinfo.h>
 #endif
 
-/*
- * Some debugging functions. Can't we find a better place for this??
- */
+/****
+ **** Some debugging functions. Can't we find a better place for this??
+ ****/
 void hexa_print(const char*name, unsigned char *data, int size);
 const char *hexa_str(unsigned char *data, int size);