lockdep: disable on _dout_lock

diff --git a/src/config.cc b/src/config.cc
index 5962d051d565e882983035539fd3bae3ff2d0c11..397d0ee3e93ff8aab34edfded511d77cbc32b4aa 100644 (file)
--- a/src/config.cc
+++ b/src/config.cc
@@ -80,7 +80,7 @@ int buffer::list::write_file(const char *fn)
 
 
 // debug output
-Mutex _dout_lock("_dout_lock");
+Mutex _dout_lock("_dout_lock", false, false /* no lockdep */);  
 ostream *_dout = &std::cout;
 ostream *_derr = &std::cerr;
 char _dout_file[100] = {0};