New function: xbt_os_timer_resume() to restart a timer w/o resetting it.

[simgrid.git] / src / portable.h

diff --git a/src/portable.h b/src/portable.h
index f9dc951..70701e0 100644 (file)
--- a/src/portable.h
+++ b/src/portable.h
@@ -31,6 +31,13 @@
 #  include <unistd.h>
 #endif
 
+#ifdef HAVE_SYS_PARAM_H
+# include <sys/param.h>
+#endif
+#ifdef HAVE_SYS_SYSCTL_H
+# include <sys/sysctl.h>
+#endif
+
 /****
  **** Networking 
  ****/