[surf] Remove sg_cabinet_cb

[simgrid.git] / src / portable.h

diff --git a/src/portable.h b/src/portable.h
index d09a1df..7ccd0a7 100644 (file)
--- a/src/portable.h
+++ b/src/portable.h
@@ -10,7 +10,7 @@
 #ifndef SIMGRID_PORTABLE_H
 #define SIMGRID_PORTABLE_H
 
-#include "internal_config.h"
+#include "src/internal_config.h"
 #include "xbt/base.h"
 #include "xbt/misc.h"
 #ifdef _XBT_WIN32
@@ -77,16 +77,10 @@
  **** Time handling
  ****/
 
-#ifdef TIME_WITH_SYS_TIME
-# include <sys/time.h>
-# include <time.h>
-#else
-# if HAVE_SYS_TIME_H
+#if HAVE_SYS_TIME_H
 #  include <sys/time.h>
-# else
-#  include <time.h>
-# endif
 #endif
+#include <time.h>
 
 /****
  **** Signals