From 2b1c48aa8ff28c0d706779f2a69aadc5333e48ab Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 4 Jul 2012 11:53:40 +0200 Subject: [PATCH] Don't define variables in header files (part 2). --- src/mc/mc_global.c | 1 + src/mc/mc_private.h | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 1af07a96cc..476c4d452f 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -59,6 +59,7 @@ mc_state_t mc_current_state = NULL; char mc_replay_mode = FALSE; double *mc_time = NULL; mc_snapshot_t initial_snapshot = NULL; +int raw_mem_set; /* Safety */ diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h index 519e7088a2..9b36857fca 100644 --- a/src/mc/mc_private.h +++ b/src/mc/mc_private.h @@ -153,7 +153,7 @@ struct mstats { #define MC_SET_RAW_MEM mmalloc_set_current_heap(raw_heap) #define MC_UNSET_RAW_MEM mmalloc_set_current_heap(std_heap) -int raw_mem_set; +extern int raw_mem_set; /******************************* MEMORY MAPPINGS ***************************/ /* These functions and data structures implements a binary interface for */ -- 2.20.1