From 521f2016cb881842c4b30b9f460ac612e691ac23 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 15 Sep 2010 08:39:41 +0000 Subject: [PATCH] rts_isProfiled should be a visible API (fixes T2615(dyn)) --- includes/rts/prof/CCS.h | 3 +++ rts/RtsUtils.h | 2 -- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/includes/rts/prof/CCS.h b/includes/rts/prof/CCS.h index 90224d7..b210991 100644 --- a/includes/rts/prof/CCS.h +++ b/includes/rts/prof/CCS.h @@ -14,6 +14,9 @@ #ifndef RTS_PROF_CCS_H #define RTS_PROF_CCS_H +// Returns non-zero if the RTS is a profiling version +int rts_isProfiled(void); + /* ----------------------------------------------------------------------------- * Data Structures * ---------------------------------------------------------------------------*/ diff --git a/rts/RtsUtils.h b/rts/RtsUtils.h index 24033b9..1bf840b 100644 --- a/rts/RtsUtils.h +++ b/rts/RtsUtils.h @@ -46,8 +46,6 @@ void printRtsInfo(void); /* Alternate to raise(3) for threaded rts, for OpenBSD */ int genericRaise(int sig); -int rts_isProfiled(void); - #include "EndPrivate.h" #endif /* RTSUTILS_H */ -- 1.7.10.4