Print re-locking event count if enabled.

diff --git a/servers/is/dmp_kernel.c b/servers/is/dmp_kernel.c
index 33bb1d2c06b5497993f60cc2aaeb1c1ed1ea8ad8..fd5e60fd627581be3e4b4c9edc24e6394f898b2a 100644 (file)
--- a/servers/is/dmp_kernel.c
+++ b/servers/is/dmp_kernel.c
@@ -295,6 +295,9 @@ PUBLIC void kenv_dmp()
     printf("- nr_tasks:     %3u\n", kinfo.nr_tasks); 
     printf("- release:      %.6s\n", kinfo.release); 
     printf("- version:      %.6s\n", kinfo.version); 
+#if ENABLE_K_LOCKCHECK
+    printf("- relocking:    %d\n", kinfo.relocking); 
+#endif
     printf("\n");
 }