Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master'
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 4 Dec 2014 09:45:49 +0000 (10:45 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 4 Dec 2014 09:45:49 +0000 (10:45 +0100)
1  2 
src/mc/mc_global.c

diff --combined src/mc/mc_global.c
@@@ -4,9 -4,6 +4,9 @@@
  /* This program is free software; you can redistribute it and/or modify it
   * under the terms of the license (GNU LGPL) which comes with this package. */
  
 +#include "mc_base.h"
 +
 +#ifndef _XBT_WIN32
  #include <unistd.h>
  #include <sys/types.h>
  #include <sys/wait.h>
@@@ -16,7 -13,6 +16,7 @@@
  
  #define UNW_LOCAL_ONLY
  #include <libunwind.h>
 +#endif
  
  #include "simgrid/sg_config.h"
  #include "../surf/surf_private.h"
  
  #ifdef HAVE_MC
  #include "../xbt/mmalloc/mmprivate.h"
+ #include "mc_object_info.h"
+ #include "mc_comm_pattern.h"
+ #include "mc_request.h"
+ #include "mc_safety.h"
+ #include "mc_memory_map.h"
+ #include "mc_snapshot.h"
+ #include "mc_liveness.h"
  #include "mc_private.h"
  #endif
  #include "mc_record.h"