diff options
Diffstat (limited to 'rts/Papi.h')
| -rw-r--r-- | rts/Papi.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/rts/Papi.h b/rts/Papi.h index fc92a913d5..8f58f6dfc9 100644 --- a/rts/Papi.h +++ b/rts/Papi.h @@ -5,6 +5,9 @@ * * ---------------------------------------------------------------------------*/ +#ifndef PAPI_H +#define PAPI_H + /* Check the error value of a PAPI call, reporting an error, if needed */ extern int papi_error; @@ -25,3 +28,5 @@ void papi_stop_gc1_count(void); // events and aggregate them into the main GC counters. void papi_thread_start_gc1_count(int event_set); void papi_thread_stop_gc1_count(int event_set); + +#endif /* PAPI_H */ |