diff options
Diffstat (limited to 'rts/Profiling.h')
| -rw-r--r-- | rts/Profiling.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/rts/Profiling.h b/rts/Profiling.h index e27ad4c5ed..3e365fe536 100644 --- a/rts/Profiling.h +++ b/rts/Profiling.h @@ -12,6 +12,13 @@ #include <stdio.h> #include "BeginPrivate.h" +#include "Rts.h" + +#ifdef PROFILING +#define PROFILING_ONLY(s) s +#else +#define PROFILING_ONLY(s) doNothing() +#endif void initProfiling1 (void); void initProfiling2 (void); |