diff options
| author | Dan Streetman <ddstreet@ieee.org> | 2014-06-04 19:11:54 -0400 |
|---|---|---|
| committer | Linus Torvalds <torvalds@linux-foundation.org> | 2014-06-04 19:54:18 -0400 |
| commit | b8cfff68ea9cd7b25f07c1d5bb42567d084fcba3 (patch) | |
| tree | e0488ef414797332041c857e56a150a69a067c5a /arch/um | |
| parent | c75b53af2f0043aff500af0a6f878497bef41bca (diff) | |
lib/plist.c: make CONFIG_DEBUG_PI_LIST selectable
Change CONFIG_DEBUG_PI_LIST to be user-selectable, and add a title and
description. Remove the dependency on DEBUG_RT_MUTEXES since they were
changed to use rbtrees, and there are other users of plists now.
Signed-off-by: Dan Streetman <ddstreet@ieee.org>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'arch/um')
0 files changed, 0 insertions, 0 deletions