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/timer.h | |
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/timer.h')
0 files changed, 0 insertions, 0 deletions