Fix detection and use of `USE_LIBDW`
[ghc.git] / rts / LibdwPool.h
1 /* ---------------------------------------------------------------------------
2 *
3 * (c) The GHC Team, 2015-2016
4 *
5 * A pool of libdw sessions
6 *
7 * --------------------------------------------------------------------------*/
8
9 #ifndef LIBDW_POOL_H
10 #define LIBDW_POOL_H
11
12 #include "BeginPrivate.h"
13
14 #include "Rts.h"
15 #include "Libdw.h"
16
17 #if USE_LIBDW
18
19 /* Initialize the pool */
20 void libdwPoolInit(void);
21
22 #else
23
24 INLINE_HEADER void libdwPoolInit(void) {}
25
26 #endif /* USE_LIBDW */
27
28 #include "EndPrivate.h"
29
30 #endif /* LIBDW_POOL_H */