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 | 86194cf18dbc997f97ae6052e9eb8e8e33dbbd10 (patch) | |
tree | e41da5afb3e47cee6ab4655385d793ffa2ff757f /kern/rtmutex.c | |
parent | e3143cfb3f3936c76210c4df146efaa55f717d0c (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 |