From 633f3ab4f0f29940ea9759bfe3dc4f8ec37595e8 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 30 Jan 2012 15:16:25 +0100 Subject: [PATCH 1/1] mv src/mc/private.h src/mc/mc_private.h --- src/mc/mc_checkpoint.c | 2 +- src/mc/mc_dpor.c | 2 +- src/mc/mc_global.c | 2 +- src/mc/mc_liveness.c | 2 +- src/mc/mc_memory.c | 2 +- src/mc/{private.h => mc_private.h} | 3 +-- src/mc/mc_request.c | 2 +- src/mc/mc_state.c | 2 +- 8 files changed, 8 insertions(+), 9 deletions(-) rename src/mc/{private.h => mc_private.h} (98%) diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c index da376da567..dcf1a36d5f 100644 --- a/src/mc/mc_checkpoint.c +++ b/src/mc/mc_checkpoint.c @@ -1,5 +1,5 @@ #include -#include "private.h" +#include "mc_private.h" XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_checkpoint, mc, diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c index bae5fb19f3..2c9ad7f205 100644 --- a/src/mc/mc_dpor.c +++ b/src/mc/mc_dpor.c @@ -4,7 +4,7 @@ /* 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 "private.h" +#include "mc_private.h" XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_dpor, mc, "Logging specific to MC DPOR exploration"); diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 7760797e1a..a0ad3ee77f 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -6,7 +6,7 @@ #include "../surf/surf_private.h" #include "../simix/smx_private.h" #include "xbt/fifo.h" -#include "private.h" +#include "mc_private.h" XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_global, mc, diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index 75615b70f9..2cd817af5d 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -1,4 +1,4 @@ -#include "private.h" +#include "mc_private.h" #include "unistd.h" XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_liveness, mc, diff --git a/src/mc/mc_memory.c b/src/mc/mc_memory.c index c2fe2a132e..593bdf4ca4 100644 --- a/src/mc/mc_memory.c +++ b/src/mc/mc_memory.c @@ -1,7 +1,7 @@ #include #include #include "mc/mc.h" -#include "private.h" +#include "mc_private.h" #include "xbt/log.h" #define _GNU_SOURCE diff --git a/src/mc/private.h b/src/mc/mc_private.h similarity index 98% rename from src/mc/private.h rename to src/mc/mc_private.h index d277c41014..63097245db 100644 --- a/src/mc/private.h +++ b/src/mc/mc_private.h @@ -1,5 +1,4 @@ -/* Copyright (c) 2007 Arnaud Legrand, Bruno Donnassolo. - All rights reserved. */ +/* Copyright (c) 2007-2011 Da SimGrid Team. All rights reserved. */ /* 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. */ diff --git a/src/mc/mc_request.c b/src/mc/mc_request.c index f6a70ad635..cb2374128c 100644 --- a/src/mc/mc_request.c +++ b/src/mc/mc_request.c @@ -1,4 +1,4 @@ -#include "private.h" +#include "mc_private.h" XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_request, mc, "Logging specific to MC (request)"); diff --git a/src/mc/mc_state.c b/src/mc/mc_state.c index ad66b618e3..6c3b92724b 100644 --- a/src/mc/mc_state.c +++ b/src/mc/mc_state.c @@ -2,7 +2,7 @@ #include "../simix/smx_private.h" #include "xbt/fifo.h" -#include "private.h" +#include "mc_private.h" /** * \brief Creates a state data structure used by the exploration algorithm -- 2.20.1