Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Signal-related changes
authormquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 4 Jul 2006 13:34:17 +0000 (13:34 +0000)
committermquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 4 Jul 2006 13:34:17 +0000 (13:34 +0000)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@2469 48e7efb5-ca39-0410-a469-dd3cf9ba447f

src/portable.h

index 2afe77c..b227f89 100644 (file)
@@ -134,6 +134,13 @@ const char *gras_wsa_err2string(int errcode);
 #  include "xbt/context_win32.h" /* Manual reimplementation for prehistoric platforms */
 #endif
 
 #  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/)
  ****/
 /****
  **** 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
 
 #  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);
 
 void hexa_print(const char*name, unsigned char *data, int size);
 const char *hexa_str(unsigned char *data, int size);