diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-08-31 23:17:47 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-08-31 23:17:47 +0200 |
| commit | c04c1bdd385af886422b89e1bf751b9a9d322ffc (patch) | |
| tree | e41da5afb3e47cee6ab4655385d793ffa2ff757f /kern/rtmutex.c | |
| parent | b9ec5cca6f6e3fd571b2e534d36e2498e488164c (diff) | |
Make mutex debugging slightly more convenient
Define the macro controlling mutex debugging only if not already defined,
allowing users to pass it through CFLAGS.
Diffstat (limited to 'kern/rtmutex.c')
| -rw-r--r-- | kern/rtmutex.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kern/rtmutex.c b/kern/rtmutex.c index 9fcc4e0e..c07bbfef 100644 --- a/kern/rtmutex.c +++ b/kern/rtmutex.c @@ -29,8 +29,9 @@ #include <kern/thread.h> #include <kern/turnstile.h> -/* Set to 1 to enable debugging */ +#ifndef RTMUTEX_DEBUG #define RTMUTEX_DEBUG 0 +#endif /* RTMUTEX_DEBUG */ #if RTMUTEX_DEBUG |