rts_isProfiled should be a visible API (fixes T2615(dyn))
authorSimon Marlow <marlowsd@gmail.com>
Wed, 15 Sep 2010 08:39:41 +0000 (08:39 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 15 Sep 2010 08:39:41 +0000 (08:39 +0000)
includes/rts/prof/CCS.h
rts/RtsUtils.h

index 90224d7..b210991 100644 (file)
@@ -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 
  * ---------------------------------------------------------------------------*/  
index 24033b9..1bf840b 100644 (file)
@@ -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 */